summary refs log tree commit diff
path: root/pkgs/applications/science/logic/statverif
Commit message (Expand)AuthorAge
* treewide: stdenv.lib -> libBen Siraphob2021-01-16
* treewide: name -> pname (easy cases) (#66585)volth2019-08-15
* treewide: Change URLs to HTTPSDaniel Schaefer2019-04-22
* statverif: init at 1.86pl4Austin Seipp2016-06-28