agda.scm
|
gnu: agda: Update to 2.5.4.2.
|
2019-02-24 17:51:28 +01:00 |
crypto.scm
|
gnu: googletest: Don't use unstable tarball.
|
2019-03-28 12:14:15 +02:00 |
debian.scm
|
gnu: debootstrap: Update to 1.0.111.
|
2018-12-01 23:34:43 +02:00 |
gperf.scm
|
Merge branch 'master' into core-updates
|
2017-03-30 22:59:53 +02:00 |
gsasl.scm
|
gnu: libntlm: Update to 1.5.
|
2018-08-28 22:31:00 +02:00 |
guile.scm
|
gnu: guile: Remove version 2.0.13.
|
2019-03-30 15:19:32 +01:00 |
messaging.scm
|
gnu: znc: Update to 1.7.3.
|
2019-03-31 16:05:18 +02:00 |
php.scm
|
gnu: php: Fix typo.
|
2019-03-29 15:35:54 +01:00 |
xfig.scm
|
gnu: xfig: Update to 3.2.7a.
|
2018-08-11 02:00:44 +02:00 |