1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-18 03:30:45 +00:00
Commit graph

8 commits

Author SHA1 Message Date
Roland Coeurjoly 480b64bd98 sby: Fix description. Remove duplicated inputs. --replace-fail instead of --replace. Be specific about which files patchShebangs is applied to. Run hooks in installPhase. Use btor2tools as input now that is updated 2024-08-24 16:33:28 -05:00
Roland Coeurjoly c34208511e sby: 2021.11.30 -> 0.44, run tests, rename from symbiyosys 2024-08-21 10:25:34 -05:00
Sefa Eyeoglu a656178862
sbctl: 0.13 -> 0.14
Signed-off-by: Sefa Eyeoglu <contact@scrumplex.net>
2024-05-25 16:11:33 +02:00
R. Ryantm 377428f432 sbom-utility: 0.15.0 -> 0.16.0 2024-05-10 03:08:03 +00:00
Markus Theil 135451e977
sbom-utility: init at 0.15.0
Signed-off-by: Markus Theil <theil.markus@gmail.com>
2024-04-15 11:21:07 +02:00
Silvan Mosberger 6fc063c62e Revert "sbcl: move to /pkgs/by-name"
This reverts commit 0a3dab4af3

See the parent commit as to why this is necessary
2024-02-08 02:38:11 +01:00
Hraban Luyat b3d9b990d6 sbcl: 2.4.0 -> 2.4.1 2024-01-29 12:24:16 -05:00
Hraban Luyat 0a3dab4af3 sbcl: move to /pkgs/by-name 2024-01-29 12:23:21 -05:00