This website requires JavaScript.
Explore
Help
Sign In
Archive
/
nixpkgs
Watch
1
Star
0
Fork
You've already forked nixpkgs
0
mirror of
https://github.com/NixOS/nixpkgs.git
synced
2024-10-25 12:23:52 -04:00
Code
Issues
Actions
2
Packages
Projects
Releases
Wiki
Activity
112673
commits
218
branches
122
tags
7.7
GiB
fbb6b90ed0
Commit graph
2 commits
Author
SHA1
Message
Date
Austin Seipp
0bdc0143fe
nixpkgs: proverif 1.94 -> 1.95
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2016-11-10 03:45:51 +00:00
Austin Seipp
be19637b2a
proverif: init at 1.94
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2016-06-28 04:36:11 +00:00