coq-modules
|
coqPackages.coqeal: 1.0.5 → 1.0.6
|
2021-08-06 11:42:07 +02:00 |
go-modules
|
buildGoModule: add proxyVendor
|
2021-08-06 09:10:09 +10:00 |
go-packages
|
buildGo{Module,Package}: add tags argument
|
2021-08-06 09:09:58 +10:00 |
guile-modules
|
guile-lib: 0.2.6.1 -> 0.2.7
|
2021-08-09 15:15:51 +02:00 |
interpreters
|
python310: 3.10.0b3 -> 3.10.0rc1
|
2021-08-09 07:49:03 +02:00 |
java-modules
|
postgresql_jdbc: remove phases
|
2021-08-04 17:39:00 +02:00 |
lisp-modules
|
cl-wrapper-script: deprecate phases
|
2021-08-08 12:38:41 +02:00 |
lua-modules
|
luaPackages: update
|
2021-08-09 21:38:32 +02:00 |
misc
|
avr8-burn-omat: remove phases
|
2021-08-04 17:43:19 +02:00 |
r-modules
|
Merge pull request #125556 from ivan-tkatchev/rhdf5
|
2021-08-07 02:29:52 +03:00 |
web
|
nodejs-16_x: 16.5.0 -> 16.6.1
|
2021-08-10 01:12:34 +09:00 |