This website requires JavaScript.
Explore
Help
Sign In
nek0
/
nixpkgs
Watch
1
Star
0
Fork
You've already forked nixpkgs
0
Code
Issues
Pull requests
Releases
Wiki
Activity
307810
commits
12
branches
0
tags
2.2
GiB
master
Commit graph
3 commits
Author
SHA1
Message
Date
Vincent Laporte
2d1f4d4dab
ocamlPackages.fiat-p256: fix tests with alcotest 1.4.0
2021-07-09 08:23:04 +02:00
Vincent Laporte
6f8621dea6
ocamlPackages.fiat-p256: use Dune 2
2020-10-31 20:04:15 +01:00
sternenseemann
435fd99ab6
ocamlPackages.fiat-p256: init at 0.2.1
2020-05-12 22:34:30 +02:00