Vincent Laporte
|
a2dc97cd5c
|
proverif: 2.03 → 2.04
|
3 years ago |
Vincent Laporte
|
b42501e1e7
|
proverif: 2.02pl1 → 2.03
Do not build `proverif_interact` (that was not installed).
|
3 years ago |
Ben Siraphob
|
badf51221d
|
treewide: stdenv.lib -> lib
|
3 years ago |
Vincent Laporte
|
8ee7c2505f
|
proverif: install emacs mode
|
4 years ago |
Vincent Laporte
|
2a82f71bed
|
proverif: 2.01 → 2.02pl1
|
4 years ago |
R. RyanTM
|
5841bc46f8
|
proverif: 2.00 -> 2.01
|
4 years ago |
volth
|
46420bbaa3
|
treewide: name -> pname (easy cases) (#66585)
treewide replacement of
stdenv.mkDerivation rec {
name = "*-${version}";
version = "*";
to pname
|
5 years ago |
Daniel Schaefer
|
bac4d95aa2
|
treewide: Change URLs to HTTPS
Lots of URLs were HTTP redirect to HTTPS. Changed those and checked them
if there's actual content. Inspired by
https://github.com/NixOS/nixpkgs/issues/60004
|
5 years ago |
Vincent Laporte
|
ae23bb2bcc
|
proverif: 1.97pl1 -> 2.00
|
6 years ago |
Vincent Laporte
|
cc5491d02c
|
proverif: 1.95 -> 1.97pl1
|
7 years ago |
Austin Seipp
|
0bdc0143fe
|
nixpkgs: proverif 1.94 -> 1.95
Signed-off-by: Austin Seipp <aseipp@pobox.com>
|
8 years ago |
Austin Seipp
|
be19637b2a
|
proverif: init at 1.94
Signed-off-by: Austin Seipp <aseipp@pobox.com>
|
8 years ago |