coq-modules
|
coqPackages.paramcoq: 1.1.2 → 1.1.3
|
2021-10-01 07:50:55 +02:00 |
embedded
|
openocd: enable libgpiod bit-banging driver
|
2021-09-28 13:30:54 +02:00 |
interpreters
|
php80: 8.0.10 -> 8.0.11
|
2021-10-01 12:57:58 +02:00 |
libraries
|
Merge pull request #138548 from queezle42/master
|
2021-10-01 08:23:51 +01:00 |
lua-modules
|
lua: create a folder for hooks
|
2021-09-27 23:42:54 +02:00 |
misc
|
resholve: actually import resholveScript*
|
2021-09-30 18:54:09 -05:00 |
ocaml-modules
|
ocamlPackages.lustre-v6: init at 6.103.3
|
2021-09-30 21:38:06 +02:00 |
r-modules
|
Merge pull request #139609 from jbedo/r-updates
|
2021-09-28 17:24:16 +10:00 |
tools
|
cargo-msrv: 0.9.0 -> 0.10.0
|
2021-10-02 00:28:17 +00:00 |