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