coq-modules
|
coqPackages.coqhammer: init at 1.1
|
2019-03-29 09:07:27 +01:00 |
libraries
|
c-blosc: 1.14.4 -> 1.16.2 (#56605)
|
2019-04-10 11:31:54 +02:00 |
misc
|
fixup! mspdebug: init at 0.25
|
2019-03-26 22:50:05 -07:00 |
python-modules
|
Merge pull request #59255 from peterhoeg/u/waze
|
2019-04-10 10:37:26 +02:00 |
r-modules
|
Merge pull request #58467 from mnacamura/r-sys
|
2019-03-28 12:42:19 +01:00 |
tools
|
pyre: 0.0.20 -> 0.0.22
|
2019-04-09 22:20:00 +01:00 |
web
|
Remove nodejs-6_x which is about to enter EOL
|
2019-04-04 18:43:06 +01:00 |