summary refs log tree commit diff
path: root/pkgs/applications/science/logic/lean2
Commit message (Expand)AuthorAge
* lean2: 2017-07-22 -> 2018-10-01, unbreakMauricio Collares2022-05-21
* lean2: remove after being marked broken for over two yearsajs1242022-04-03
* lean2: stay with python2Frederik Rietdijk2021-04-03
* treewide: with stdenv.lib; in meta -> with lib;Profpatsch2021-01-11
* treewide: cmake buildInputs to nativeBuildInputs, minor cleanupsBen Siraphob2021-01-01
* treewide: mark some broken packages as brokenLinus Heckemann2019-10-08
* treewide: remove redundant recvolth2019-08-28
* treewide: name -> pname (easy cases) (#66585)volth2019-08-15
* pkgs/*: remove unreferenced function argumentsvolth2018-07-21
* meson/ninja: add setup hooks (#28444)Lukas Werling2017-08-27
* lean2: 2016-11-29 -> 2017-07-22Gabriel Ebner2017-08-19
* lean2: 2016-07-05 -> 2016-11-29Gabriel Ebner2016-12-08