| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2023-10-23 | proverif: 2.04 → 2.05 | Vincent Laporte | 1 | -2/+2 |
| 2023-02-03 | treewide: add strictDeps = true to most packages depending on ocaml | Ulrik Strid | 1 | -1/+3 |
| 2021-12-09 | proverif: 2.03 → 2.04 | Vincent Laporte | 1 | -2/+2 |
| 2021-11-09 | proverif: 2.02pl1 → 2.03 | Vincent Laporte | 1 | -11/+11 |
| 2021-01-16 | treewide: stdenv.lib -> lib | Ben Siraphob | 1 | -4/+4 |
| 2020-11-29 | proverif: install emacs mode | Vincent Laporte | 1 | -0/+1 |
| 2020-09-07 | proverif: 2.01 → 2.02pl1 | Vincent Laporte | 1 | -2/+2 |
| 2020-05-27 | proverif: 2.00 -> 2.01 | R. RyanTM | 1 | -2/+2 |
| 2019-08-15 | treewide: name -> pname (easy cases) (#66585) | volth | 1 | -1/+1 |
| 2019-04-22 | treewide: Change URLs to HTTPS | Daniel Schaefer | 1 | -1/+1 |
| 2018-05-22 | proverif: 1.97pl1 -> 2.00 | Vincent Laporte | 1 | -4/+4 |
| 2017-09-13 | proverif: 1.95 -> 1.97pl1 | Vincent Laporte | 1 | -2/+2 |
| 2016-11-10 | nixpkgs: proverif 1.94 -> 1.95 | Austin Seipp | 1 | -2/+2 |
| 2016-06-28 | proverif: init at 1.94 | Austin Seipp | 1 | -0/+28 |
 |
index : mirror/nixpkgs | |
| Nix packages collection |
| about summary refs log tree commit diff |