coq-modules
|
coqPackages.equations: enable for Coq 8.8
|
2018-07-08 11:13:27 +00:00 |
guile-modules
|
guile-reader: init at 0.6.2
|
2018-06-27 15:23:20 -03:00 |
interpreters
|
Merge master into staging
|
2018-07-10 15:51:20 +02:00 |
libraries
|
Merge master into staging
|
2018-07-10 15:51:20 +02:00 |
misc
|
treewide: http -> https sources (#42676)
|
2018-06-28 20:43:35 +02:00 |
mobile
|
treewide: http -> https sources (#42676)
|
2018-06-28 20:43:35 +02:00 |
node-packages
|
nodePackages_10_x.pnpm: init at 2.9.0
|
2018-07-05 22:52:38 +08:00 |
ocaml-modules
|
ocamlPackages.iri: init at 0.4.0
|
2018-07-09 17:15:43 +00:00 |
pharo
|
treewide: remove callPackage_i686
|
2018-07-05 14:04:52 -04:00 |
python-modules
|
Merge master into staging
|
2018-07-10 15:51:20 +02:00 |
r-modules
|
R: fix evaluation errors
|
2018-07-07 12:10:46 +02:00 |
ruby-modules
|
solargraph: 0.22.0 -> 0.23.3
|
2018-07-09 05:12:57 -04:00 |
tools
|
Merge master into staging
|
2018-07-10 15:51:20 +02:00 |