coq-modules
|
Move CompCert into coqPackages. (#126214)
|
2021-06-14 14:21:41 +02:00 |
guile-modules
|
guile-git: init at 0.3.0
|
2021-06-12 01:18:03 -04:00 |
interpreters
|
Allow to extend PHP_INI_SCAN_DIR
|
2021-06-14 14:41:00 +03:00 |
libraries
|
armadillo: 10.5.1 -> 10.5.2
|
2021-06-14 16:23:33 -07:00 |
misc
|
newlib: 3.3.0 -> 4.1.0
|
2021-06-14 01:10:28 +02:00 |
python-modules
|
python3Packages.wled: 0.5.0 -> 0.6.0
|
2021-06-15 15:17:39 +07:00 |
tools
|
sentry-cli: init at 1.66.0 (#126228)
|
2021-06-14 17:37:13 +02:00 |
web
|
flyctl: 0.0.222 -> 0.0.223
|
2021-06-14 16:23:19 -07:00 |