nixpkgs / coqPackages.gappalib - Coq support library for Gappa

Homepage - https://gitlab.inria.fr/gappa/coq

License - LGPL-2.1

Maintainers - Vincent Laporte

Releases

1.5.0 (expand/collapse)
From commit 00460bd6 to 00460bd6
1.4.5 (expand/collapse)
From commit 039e3758 to 039e3758
1.5.0 (expand/collapse)
From commit 01d55988 to 021410c0
1.4.5 (expand/collapse)
From commit 0465cd73 to 0465cd73
1.5.0 (expand/collapse)
From commit 04f95964 to 052b553a
1.4.5 (expand/collapse)
From commit 0585e3db to 0585e3db
1.5.0 (expand/collapse)
From commit 04efd289 to 075c4922
1.4.5 (expand/collapse)
From commit 04cded5c to 04cded5c
1.5.0 (expand/collapse)
From commit 01103187 to 00627e0c
1.4.5 (expand/collapse)
From commit 0063d3d6 to 0063d3d6
1.5.0 (expand/collapse)
From commit 0543f2d2 to 00c5aa27
1.4.5 (expand/collapse)
From commit 033208fd to 01cc988d
1.4.4 (expand/collapse)
From commit 04946f42 to 04946f42
1.4.5 (expand/collapse)
From commit 05ca995e to 06623ebd
1.4.4 (expand/collapse)
From commit 06c0f165 to 06c0f165
1.4.5 (expand/collapse)
From commit 0575e0d2 to 075da392
1.4.4 (expand/collapse)
From commit 06749ba3 to 0380ee43
1.4.3 (expand/collapse)
From commit 05fe6112 to 05fe6112
1.4.4 (expand/collapse)
From commit 06f2fd5f to 0096eb92
1.4.3 (expand/collapse)
From commit 00afc855 to 00afc855
1.4.4 (expand/collapse)
From commit 015c5a2b to 07e49512
1.4.3 (expand/collapse)
From commit 00347e95 to 00347e95
1.4.4 (expand/collapse)
From commit 063c756b to 00946dc2
1.4.3 (expand/collapse)
From commit 00d8c11a to 00d8c11a
1.4.4 (expand/collapse)
From commit 040059b5 to 03197f94
1.4.3 (expand/collapse)
From commit 074e05c6 to 074e05c6
1.4.4 (expand/collapse)
From commit 04b2a201 to 05104cc1
1.4.3 (expand/collapse)
From commit 037e178a to 037e178a
1.4.4 (expand/collapse)
From commit 041bf6e6 to 05ad41de
1.4.3 (expand/collapse)
From commit 04fffd6c to 04fffd6c
1.4.4 (expand/collapse)
From commit 03720f1c to 03720f1c
1.4.3 (expand/collapse)
From commit 0730d80e to 0730d80e
1.4.4 (expand/collapse)
From commit 05391059 to 06517f3d
1.4.3 (expand/collapse)
From commit 04f95168 to 05e0e47b
1.4.4 (expand/collapse)
From commit 03ac35dd to 079b8e1c
1.4.3 (expand/collapse)
From commit 066544a7 to 00ab5f18
1.4.1 (expand/collapse)
From commit 05a16be9 to 05a16be9
1.4.3 (expand/collapse)
From commit 049b68be to 0456d939
1.4.1 (expand/collapse)
From commit 02b3cac1 to 02b3cac1
1.4.3 (expand/collapse)
From commit 03f116ea to 008e7e32
1.4.1 (expand/collapse)
From commit 06ac7027 to 06ac7027
1.4.3 (expand/collapse)
From commit 05fe7f36 to 0045730c
1.4.1 (expand/collapse)
From commit 037ef70d to 037ef70d
1.4.3 (expand/collapse)
From commit 0482656c to 0620bb7e
1.4.1 (expand/collapse)
From commit 0577b994 to 0577b994
1.4.3 (expand/collapse)
From commit 05d5013d to 01aec5f3
1.4.1 (expand/collapse)
From commit 07b6eb69 to 05d26adb