coq-modules
|
coqPackages.flocq: 3.2.0 → 3.3.1
|
2020-06-14 09:51:00 +02:00 |
dhall-modules
|
Nixpkgs support for dhall-to-nixpkgs
|
2020-06-17 15:57:21 +02:00 |
interpreters
|
Nixpkgs support for dhall-to-nixpkgs
|
2020-06-17 15:57:21 +02:00 |
libraries
|
gmm: 5.3 -> 5.4
|
2020-06-17 11:09:03 -07:00 |
lua-modules
|
luaPackages.ldbus: init at scm-0
|
2020-06-17 12:12:08 +02:00 |
misc
|
rpiboot-unstable: 2018-03-27 -> 2020-5-11
|
2020-06-16 14:19:06 -03:00 |
node-packages
|
Merge pull request #89772 from rnhmjoj/dnschain
|
2020-06-13 13:37:02 +02:00 |
python-modules
|
beancount: 2.2.3 -> 2.3.0
|
2020-06-17 11:41:48 -07:00 |
tools
|
flyway: 6.4.3 -> 6.4.4
|
2020-06-17 11:02:22 -07:00 |
web
|
deno: fix update script dependency
|
2020-06-15 10:45:43 +01:00 |