| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 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 |