coq-modules
|
coqPackages.HoTT: init at 20170921
|
2017-10-11 02:51:16 +02:00 |
guile-modules
|
Merge branch 'master' into staging
|
2017-10-02 00:22:12 +00:00 |
haskell-modules
|
Agda: package builds fine these days
|
2017-10-13 15:35:27 +01:00 |
libraries
|
Merge pull request #30340 from peterhoeg/p/cryfs
|
2017-10-13 11:04:27 +08:00 |
ocaml-modules
|
ocaml-gettext: dont strip
|
2017-10-12 05:35:26 +00:00 |
qtcreator
|
qtcreator: 4.4.0 -> 4.4.1
|
2017-10-07 11:27:29 +02:00 |
tools
|
camlp4: init at 4.06+1
|
2017-10-13 17:42:56 +00:00 |
web
|
Merge branch 'master' into staging
|
2017-10-02 00:22:12 +00:00 |