9 Commits

Author	SHA1	Message	Date
R. Ryantm	4016385fe2	msolve: 0.7.1 -> 0.7.2	2024-09-19 02:11:56 +00:00
R. Ryantm	9db074af88	msolve: 0.6.7 -> 0.7.1	2024-08-01 06:36:41 +00:00
R. Ryantm	b29e3ae839	msolve: 0.6.6 -> 0.6.7	2024-07-19 14:24:26 +00:00
Weijia Wang	67f5c03b62	msolve: 0.6.5 -> 0.6.6	2024-06-27 11:01:14 +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
R. Ryantm	be792ef3b4	msolve: 0.6.4 -> 0.6.5	2024-02-26 21:41:38 +00:00
Weijia Wang	2ffb6c1d18	msolve: 0.6.3 -> 0.6.4	2024-02-11 04:15:02 +01:00
Weijia Wang	61b335c4cc	msolve: 0.6.1 -> 0.6.3	2023-12-17 16:31:47 +01:00
Weijia Wang	ded3477a0d	msolve: init at 0.6.1	2023-11-10 19:23:50 +01:00