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 |
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
|
pythonPackages.ipympl: init at 0.3.3
|
2020-03-10 10:24:42 -07:00 |
tools
|
Fix missing default-policy.json in skopeo
|
2020-03-10 14:33:25 +00:00 |
web
|
flyctl: init at 0.0.102
|
2020-03-08 15:39:35 -07:00 |