coq-modules
|
coqPackages.semantics: add 8.14.0
|
2021-12-29 21:21:02 +07:00 |
embedded
|
icestorm: update homepage
|
2021-12-28 09:45:52 -08:00 |
interpreters
|
babashka: 0.7.0 -> 0.7.3
|
2021-12-30 12:56:47 -03:00 |
libraries
|
Merge pull request #150751 from jtojnar/plv8-3
|
2021-12-30 16:30:06 +01:00 |
python-modules
|
pythonPackages.packbits: init at 0.6
|
2021-12-30 16:19:11 -08:00 |
tools
|
hjson-go: 3.1.0 -> 3.1.1
|
2021-12-30 20:33:23 +01:00 |
web
|
Merge pull request #148992 from mweinelt/nodejs-10
|
2021-12-29 14:57:31 +01:00 |