summary refs log tree commit diff
path: root/pkgs/applications/science/logic/prooftree
Commit message (Expand)AuthorAge
* treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nixJonathan Ringer2021-01-19
* treewide: with stdenv.lib; in meta -> with lib;Profpatsch2021-01-11
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* treewide: name -> pname (easy cases) (#66585)volth2019-08-15
* prooftree: cleaningVincent Laporte2018-10-11
* prooftree: 0.12 -> 0.13Théo Zimmermann2018-10-10
* prooftree: add licenseMarkus Kowalewski2018-09-08
* treewide: http -> https sources (#42676)Silvan Mosberger2018-06-28
* misc pkgs: Basic sed to get fix `pkgconfig` and `autoreconfHook` `buildInputs`John Ericson2017-09-21
* Fix many package descriptionsBjørn Forsman2014-08-24
* prooftree: new expression 0.12John Wiegley2014-06-08