about summary refs log tree commit diff
path: root/pkgs/by-name/is
AgeCommit message (Expand)AuthorFilesLines
2024-07-07treewide: set `meta.changelog`h7x41-0/+1
2024-07-06isabelle: mark as broken on darwinJan van Brügge1-0/+1
2024-07-06isabelle-components.isabelle-linter: 2023-1.0.0 -> 2024-1.0.1Jan van Brügge1-3/+3
2024-07-06isabelle: 2023 -> 2024Jan van Brügge3-0/+291
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt1-1/+1
2024-04-24iscc: init at 6.2.2Sean Link1-0/+63