coq-modules
|
coqPackages.flocq: 3.3.1 → 3.4.2
|
2021-09-24 21:39:00 +02:00 |
embedded
|
openocd: enable libgpiod bit-banging driver
|
2021-09-28 13:30:54 +02:00 |
interpreters
|
Merge pull request #139885 from jlesquembre/clj
|
2021-09-30 00:21:16 +02:00 |
lua-modules
|
lua: create a folder for hooks
|
2021-09-27 23:42:54 +02:00 |
misc
|
Merge pull request #138596 from NixOS/haskell-updates
|
2021-09-29 23:24:50 +02:00 |
node-packages
|
prisma: 2.30.2 -> 3.1.1
|
2021-09-25 21:47:30 +09:00 |
r-modules
|
Merge pull request #139609 from jbedo/r-updates
|
2021-09-28 17:24:16 +10:00 |
tools
|
poetry2nix: 1.20.0 -> 1.21.0
|
2021-09-29 21:35:44 -05:00 |