coq-modules
|
coqPackages.dpdgraph: enable for Coq ≥ 8.9
|
2020-03-10 17:46:15 +01:00 |
haskell-modules
|
haskell-ci: fix the build
|
2020-03-06 22:15:14 +01:00 |
interpreters
|
Merge staging-next into staging
|
2020-03-06 07:09:30 +01:00 |
libraries
|
suitesparse: 5.4.0 → 5.7.1
|
2020-03-10 21:16:27 +01:00 |
misc
|
newlib: 3.1.0 -> 3.3.0
|
2020-03-06 23:03:33 +00:00 |
mobile
|
titaniumenv: add Titanium SDK 8.3
|
2020-03-01 20:23:39 +01:00 |
node-packages
|
joplin: clean up dependencies
|
2020-03-04 01:35:17 +01:00 |
python-modules
|
suitesparse: clean up
|
2020-03-10 20:35:44 +01:00 |
tools
|
Fix missing default-policy.json in skopeo
|
2020-03-10 14:33:25 +00:00 |
web
|
nodejs-13_x: 13.10.0 -> 13.10.1
|
2020-03-04 20:45:00 -05:00 |