| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2024-03-19 | treewide: add meta.mainProgram to packages with a single binary | stuebinm | 1 | -0/+1 |
| 2023-01-22 | treewide: replace http by https when https is a permanent redirection | Ferry Jérémie | 1 | -1/+1 |
| 2022-07-08 | metis-prover: 2.3.20160713 -> 2.4.20200713 | Jannik Vierling | 1 | -3/+3 |
| 2021-01-11 | treewide: with stdenv.lib; in meta -> with lib; | Profpatsch | 1 | -2/+2 |
| 2020-04-10 | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 1 | -1/+1 |
| 2019-08-28 | treewide: remove redundant rec | volth | 1 | -1/+1 |
| 2019-08-15 | treewide: name -> pname (easy cases) (#66585) | volth | 1 | -1/+1 |
| 2016-07-21 | metis-prover: 2.3.20160102 -> 2.3.20160713 | Gabriel Ebner | 1 | -6/+8 |
| 2016-01-21 | metis-prover: 2.3.20160101 -> 2.3.20160102 | Gabriel Ebner | 1 | -2/+2 |
| 2016-01-02 | metis-prover: 2.3 -> 2.3.20160101 | Gabriel Ebner | 1 | -2/+3 |
| 2015-09-21 | metis-prover: init at 2.3 | Gabriel Ebner | 1 | -0/+29 |
 |
index : mirror/nixpkgs | |
| Nix packages collection |
| about summary refs log tree commit diff |