about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/prooftree
AgeCommit message (Expand)AuthorFilesLines
2023-02-03treewide: add strictDeps = true to most packages depending on ocamlUlrik Strid1-3/+4
2021-01-19treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nixJonathan Ringer1-2/+2
2021-01-11treewide: with stdenv.lib; in meta -> with lib;Profpatsch1-2/+2
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-1/+1
2018-10-11prooftree: cleaningVincent Laporte1-4/+5
2018-10-10prooftree: 0.12 -> 0.13Théo Zimmermann1-2/+2
2018-09-08prooftree: add licenseMarkus Kowalewski1-3/+4
2018-06-28treewide: http -> https sources (#42676)Silvan Mosberger1-1/+1
2017-09-21misc pkgs: Basic sed to get fix `pkgconfig` and `autoreconfHook` `buildInputs`John Ericson1-1/+2
2014-08-24Fix many package descriptionsBjørn Forsman1-1/+1
2014-06-08prooftree: new expression 0.12John Wiegley1-0/+40