gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,042,370 Commits 9 Branches 0 Tags
current
Commit Graph

2 Commits

Author SHA1 Message Date
jopejoe1 1e1cef625b ocamlPackages: swap throws to meta.broken 
throws no longer work with the current ci we have in nixpkgs
 2025-10-18 22:23:06 +02:00
Pierre Roux 3f04235358 coqPackages.validsdp: init at 1.1.0 2025-09-16 15:47:39 +02:00