coq-modules
|
coqPackages.gaia-hydras: init at 0.5
|
2021-10-18 11:42:52 +02:00 |
embedded
|
platformio: 5.1.2 -> 5.2.1
|
2021-10-18 15:57:26 +02:00 |
gnuradio-modules
|
gnuradio: Reenable thrift support
|
2021-10-23 23:46:45 +03:00 |
interpreters
|
bats: 1.3.0 -> 1.4.1
|
2021-10-19 14:28:00 +02:00 |
libraries
|
thrift: 0.14.2 -> 0.15.0
|
2021-10-23 23:01:37 +03:00 |
lisp-modules
|
Common lisp update (#142209)
|
2021-10-20 14:30:31 +00:00 |
lua-modules
|
luaPackages: update
|
2021-10-18 19:48:07 +02:00 |
misc
|
yelp-tools: 40.0 → 41.0
|
2021-10-15 02:38:22 +02:00 |
php-packages
|
php.packages.phpstan: 0.12.90 -> 0.12.99
|
2021-10-13 19:25:13 +02:00 |
tools
|
ocamlPackages.ocp-build: fix build
|
2021-10-21 07:18:38 +02:00 |
web
|
nodejs: use github release url in meta
|
2021-10-20 04:20:00 +00:00 |