nixpkgs / coqPackages.Verdi -

Homepage - https://github.com/uwplse/verdi

Releases

20210524 (expand/collapse)
From commit 00460bd6 to 00460bd6
20200131 (expand/collapse)
From commit 039e3758 to 039e3758
20210524 (expand/collapse)
From commit 01d55988 to 021410c0
20200131 (expand/collapse)
From commit 0465cd73 to 0465cd73
20210524 (expand/collapse)
From commit 058e0d67 to 052b553a
20200131 (expand/collapse)
From commit 0585e3db to 04f95964
20210524 (expand/collapse)
From commit 075c4922 to 075c4922
20200131 (expand/collapse)
From commit 066544a7 to 07b80a29
20190202 (expand/collapse)
From commit 05a16be9 to 05a16be9
20200131 (expand/collapse)
From commit 049b68be to 0456d939
20190202 (expand/collapse)
From commit 02b3cac1 to 02b3cac1
20200131 (expand/collapse)
From commit 0446bf0c to 008e7e32
20190202 (expand/collapse)
From commit 0218f30a to 07d3ca81
20181102 (expand/collapse)
From commit 0767de3d to 0767de3d
20190202 (expand/collapse)
From commit 00263c93 to 00610756
20181102 (expand/collapse)
From commit 00a52224 to 00a52224
20190202 (expand/collapse)
From commit 04cc8385 to 02ea1812
20181102 (expand/collapse)
From commit 0045164b to 0045164b
20190202 (expand/collapse)
From commit 06026f28 to 06fad89b
20181102 (expand/collapse)
From commit 0778b2c9 to 0778b2c9
20190202 (expand/collapse)
From commit 02811918 to 07458c2f
20181102 (expand/collapse)
From commit 00541faa to 0695b7da
20190202 (expand/collapse)
From commit 069e1a74 to 069e1a74
20181102 (expand/collapse)
From commit 03b9bc9e to 0553c30f