about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/lean2
AgeCommit message (Expand)AuthorFilesLines
2022-05-21lean2: 2017-07-22 -> 2018-10-01, unbreakMauricio Collares1-0/+46
2022-04-03lean2: remove after being marked broken for over two yearsajs1241-37/+0
2021-04-03lean2: stay with python2Frederik Rietdijk1-2/+2
2021-01-11treewide: with stdenv.lib; in meta -> with lib;Profpatsch1-2/+2
2021-01-01treewide: cmake buildInputs to nativeBuildInputs, minor cleanupsBen Siraphob1-2/+2
2019-10-08treewide: mark some broken packages as brokenLinus Heckemann1-0/+1
2019-08-28treewide: remove redundant recvolth1-1/+1
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-1/+1
2018-07-21pkgs/*: remove unreferenced function argumentsvolth1-1/+1
2017-08-27meson/ninja: add setup hooks (#28444)Lukas Werling1-0/+2
2017-08-19lean2: 2016-11-29 -> 2017-07-22Gabriel Ebner1-3/+3
2016-12-08lean2: 2016-07-05 -> 2016-11-29Gabriel Ebner1-0/+34