nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-20 12:43:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
70,308 Commits 180 Branches 125 Tags 7.9 GiB
38313d5d87
Commit Graph

4 Commits

Author SHA1 Message Date
Vincent Laporte
28bfbb5562 why3: update from 0.85 to 0.86.1 2015-06-01 05:57:19 +02:00
Vincent Laporte
58297aa1e7 Why3: build also the Coq tactic. 2015-01-29 08:43:15 +01:00
Vincent Laporte
531b44562a why3: update from 0.83 to 0.85 2014-10-12 16:21:02 +02:00
Austin Seipp
4ee4f76176 nixpkgs: add why3 0.83 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-05-01 02:30:39 -05:00