about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/statverif
AgeCommit message (Expand)AuthorFilesLines
2023-02-03treewide: add strictDeps = true to most packages depending on ocamlUlrik Strid1-1/+3
2021-01-16treewide: stdenv.lib -> libBen Siraphob1-4/+4
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-1/+1
2019-04-22treewide: Change URLs to HTTPSDaniel Schaefer1-1/+1
2016-06-28statverif: init at 1.86pl4Austin Seipp1-0/+34