12 Commits

Author	SHA1	Message	Date
Fabian Affolter	a80624bfc1	scilla: format with nixfmt	2024-04-08 00:50:33 +02:00
Fabian Affolter	f1b9f1c859	scilla: add ldflags	2024-04-08 00:50:05 +02:00
Fabian Affolter	7b9aa23df5	scilla: 1.2.7 -> 1.3.0 ... Diff: https://github.com/edoardottt/scilla/compare/refs/tags/v1.2.7...v1.3.0 Changelog: https://github.com/edoardottt/scilla/releases/tag/v1.3.0	2024-04-08 00:47:52 +02:00
stuebinm	ff1a94e523	treewide: add meta.mainProgram to packages with a single binary ... The nixpkgs-unstable channel's programs.sqlite was used to identify packages producing exactly one binary, and these automatically added to their package definitions wherever possible.	2024-03-19 03:14:51 +01:00
Fabian Affolter	ea7c05b983	scilla: add changelog to meta	2023-08-20 18:23:25 +02:00
Aaron Jheng	d26041021d	scilla: 1.2.4 -> 1.2.7	2023-08-16 10:24:22 +08:00
R. Ryantm	0249669ae2	scilla: 1.2.3 -> 1.2.4	2022-09-27 00:20:35 +00:00
R. Ryantm	1f80c03c0e	scilla: 1.2.2 -> 1.2.3	2022-09-05 02:49:53 +00:00
R. Ryantm	b0cb65de66	scilla: 1.2.1 -> 1.2.2	2022-07-29 22:12:13 +00:00
Fabian Affolter	e3e91040b1	scilla: 1.1.1 -> 1.2.1	2022-02-10 23:49:22 +01:00
Fabian Affolter	439c6eb770	scilla: 20210118 -> 1.1.1	2021-09-03 20:29:43 +02:00
Fabian Affolter	e29d45b44d	scilla: init at 20210118-74dd814	2021-01-18 10:12:00 +01:00