coq-modules
|
coqPackages.stdpp: 1.7.0 → 1.8.0
|
2022-08-27 08:54:26 +02:00 |
embedded
|
blackmagic: 2022-04-16 -> 1.8.2
|
2022-08-24 12:43:08 +02:00 |
libraries
|
Merge pull request #188462 from onny/baresip
|
2022-08-27 11:18:35 +00:00 |
node-packages
|
nodePackages.carto: init at 1.2.0
|
2022-08-23 15:32:01 +02:00 |
perl-modules
|
perlPackages: Regenerate metadata (phase 2)
|
2022-08-21 20:26:48 +02:00 |
r-modules
|
rPackages.s2: fix openssl linking
|
2022-08-22 11:41:09 +10:00 |
web
|
nodejs-18_x: 18.7.0 -> 18.8.0
|
2022-08-25 04:20:00 +00:00 |