coq-modules
|
coqPackages.math-classes: init at 2016-06-08
|
2017-01-27 11:16:30 +00:00 |
idris-modules
|
idrisPackages.httpclient: init
|
2016-12-20 00:28:23 +01:00 |
libraries
|
speexdsp: Fix build on aarch64
|
2017-01-29 02:08:04 +02:00 |
misc
|
loc: 0.3.3 -> 0.3.4
|
2016-12-08 09:59:47 -05:00 |
ocaml-modules
|
ocamlPackages.dolmen: init at 0.2
|
2017-01-28 17:40:48 +00:00 |
qtcreator
|
qtcreator: 4.1.0 -> 4.2.0
|
2016-12-29 22:32:23 +03:00 |
ruby-modules
|
bundler: 1.13.7 -> 1.14.3 (#22260)
|
2017-01-29 22:42:17 +00:00 |
tools
|
bashdb: init at 4.4-0.92 (#22275)
|
2017-01-29 23:05:04 +01:00 |