patches
|
gnu: libmp4v2: Fix build with C++11.
|
2019-07-18 16:31:14 +02:00 |
agda.scm
|
gnu: Remove ghc-parsec, ghc-stm, ghc-text, ghc-xhtml.
|
2019-07-04 17:41:08 +02:00 |
assembly.scm
|
Merge branch 'staging' into core-updates
|
2019-05-25 00:25:15 +02:00 |
boost.scm
|
gnu: boost: Remove GCC5 workaround.
|
2019-07-02 21:17:53 +02:00 |
crates-io.scm
|
gnu: rust-proc-macro2: Update to 0.4.30.
|
2019-07-16 09:53:51 +02:00 |
dico.scm
|
gnu: dico: Update to 2.9.
|
2019-06-15 18:24:52 +02:00 |
education.scm
|
Merge branch 'master' into core-updates
|
2019-07-17 15:51:10 +02:00 |
graph.scm
|
gnu: Add rw.
|
2019-06-17 19:47:15 +02:00 |
magic-wormhole.scm
|
gnu: Add Magic-Wormhole.
|
2019-02-19 14:34:31 -05:00 |
syncthing.scm
|
gnu: Syncthing: Update to 1.1.4.
|
2019-06-04 13:28:59 -04:00 |
tls.scm
|
Merge branch 'master' into core-updates
|
2019-07-17 15:51:10 +02:00 |