Commit message (Expand) | Author | Age | |
---|---|---|---|
* | treewide: with stdenv.lib; in meta -> with lib; | Profpatsch | 2021-01-11 |
* | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 2020-04-10 |
* | treewide: remove redundant rec | volth | 2019-08-28 |
* | treewide: name -> pname (easy cases) (#66585) | volth | 2019-08-15 |
* | metis-prover: 2.3.20160102 -> 2.3.20160713 | Gabriel Ebner | 2016-07-21 |
* | metis-prover: 2.3.20160101 -> 2.3.20160102 | Gabriel Ebner | 2016-01-21 |
* | metis-prover: 2.3 -> 2.3.20160101 | Gabriel Ebner | 2016-01-02 |
* | metis-prover: init at 2.3 | Gabriel Ebner | 2015-09-21 |