17 Commits

Author	SHA1	Message	Date
Alexis Hildebrandt	755b915a15	treewide: Remove indefinite article from meta.description ... nix run nixpkgs#silver-searcher -- -G '\.nix$' -0l 'description.*"[Aa]n?' pkgs \ | xargs -0 nix run nixpkgs#gnused -- -i '' -Ee 's/(description.*")[Aa]n? (.)/\1\U\2/'	2024-06-09 23:07:45 +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	b4acd43269	cvc5: 1.1.1 -> 1.1.2	2024-03-02 04:58:08 +00:00
R. Ryantm	222c1940fa	cvc5: 1.1.0 -> 1.1.1	2024-01-30 05:45:19 +01:00
R. Ryantm	feadff003e	cvc5: 1.0.9 -> 1.1.0	2023-12-28 02:05:44 +00:00
R. Ryantm	b297165efd	cvc5: 1.0.8 -> 1.0.9	2023-12-20 08:10:00 +00:00
github-actions[bot]	3431cedfe3	Merge master into staging-next	2023-09-22 12:01:02 +00:00
R. Ryantm	5165646399	cvc5: 1.0.7 -> 1.0.8	2023-09-11 02:43:36 +00:00
Sandro Jäckel	fccf04b620	treewide: replace -DCMAKE_BUILD_TYPE in cmakeFlags with cmakeBuildType	2023-09-08 14:18:26 +00:00
Vincent Laporte	62441cb5da	cvc5: 1.0.6 → 1.0.7	2023-09-04 08:32:07 +02:00
Vincent Laporte	ae68d70536	cvc5: 1.0.5 → 1.0.6	2023-08-16 21:33:07 +02:00
R. Ryantm	bb270775f2	cvc5: 1.0.4 -> 1.0.5	2023-03-25 01:00:12 +00:00
Vincent Laporte	30c3b90903	cvc5: 1.0.3 → 1.0.4	2023-02-22 07:07:13 +01:00
R. Ryantm	cdc2972120	cvc5: 1.0.2 -> 1.0.3	2022-12-15 20:56:58 +00:00
R. Ryantm	616e78d316	cvc5: 1.0.1 -> 1.0.2	2022-08-29 17:17:59 +00:00
R. Ryantm	f238ea8ee8	cvc5: 1.0.0 -> 1.0.1	2022-07-28 10:49:58 +00:00
Shadaj Laddad	74b7319023	cvc5: init at 1.0.0	2022-04-06 21:20:40 +00:00