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 |
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 |
misc
|
avr8-burn-omat: remove phases
|
2021-08-04 17:43:19 +02:00 |
python-modules
|
python3Packages.deezer-py: 1.1.1 -> 1.1.2
|
2021-08-10 12:45:49 +02:00 |
r-modules
|
Merge pull request #125556 from ivan-tkatchev/rhdf5
|
2021-08-07 02:29:52 +03:00 |
tools
|
tabnine: 3.5.15 -> 3.5.37
|
2021-08-08 15:45:59 -07:00 |
web
|
Merge pull request #111285 from r-ryantm/auto-update/kore
|
2021-08-08 02:56:33 +03:00 |