7 Commits

Author	SHA1	Message	Date
Jacob Bachmann	62ec584ddf	isisdl: init at 1.3.20	2024-07-27 14:03:11 +02:00
h7x4	7384b9abdc	treewide: set meta.changelog	2024-07-07 15:20:06 +02:00
Jan van Brügge	ed0f599b4f	isabelle: mark as broken on darwin ... There is no dedicated darwin maintainer for isabelle	2024-07-06 18:41:30 +01:00
Jan van Brügge	b68d63c236	isabelle-components.isabelle-linter: 2023-1.0.0 -> 2024-1.0.1	2024-07-06 18:41:29 +01:00
Jan van Brügge	17219eb17a	isabelle: 2023 -> 2024	2024-07-06 18:41:28 +01:00
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
Sean Link	69051936b2	iscc: init at 6.2.2	2024-04-24 20:58:41 +03:00