coq-modules
|
coqPackages.aac-tactics: init at 8.17.0
|
2023-05-24 10:18:43 +02:00 |
embedded
|
wch-isp: 0.2.4 -> 0.2.5
|
2023-05-23 07:31:56 +00:00 |
haskell-modules
|
haskellPackages.gauge: fix darwin build
|
2023-05-21 15:04:57 +02:00 |
mobile
|
androidenv: rename android sdk package name
|
2023-05-23 08:16:20 +02:00 |
node-packages
|
epgstation: use node 18
|
2023-05-22 05:24:17 +09:00 |
php-packages
|
Merge pull request #233032 from jtojnar/reduce-me
|
2023-05-20 11:48:47 -04:00 |
web
|
Merge pull request #233649 from nbraud/csslint
|
2023-05-23 19:52:24 +02:00 |