nixpkgs / coqPackages.coq-elpi - Coq plugin embedding ELPI.

Homepage - https://github.com/LPCIC/coq-elpi

License - LGPL-2.1-or-later

Maintainers - Cyril Cohen

Releases

1.11.1 (expand/collapse)
From commit 00460bd6 to 00460bd6
1.10.1 (expand/collapse)
From commit 039e3758 to 039e3758
1.11.1 (expand/collapse)
From commit 00f7e1e8 to 021410c0
1.10.1 (expand/collapse)
From commit 0757207f to 0757207f
1.11.1 (expand/collapse)
From commit 0615bf07 to 0615bf07
1.10.1 (expand/collapse)
From commit 072b0733 to 072b0733
1.11.1 (expand/collapse)
From commit 00334d35 to 01d7e711
1.10.1 (expand/collapse)
From commit 0342aee9 to 0342aee9
1.11.1 (expand/collapse)
From commit 049264c3 to 02facd2d
1.10.1 (expand/collapse)
From commit 040b4a51 to 0582654e
1.11.1 (expand/collapse)
From commit 0208a915 to 0208a915
1.10.1 (expand/collapse)
From commit 02c142a2 to 066018f6
1.6.0_8.11 (expand/collapse)
From commit 074ef76e to 074ef76e
1.10.1 (expand/collapse)
From commit 04855119 to 07557e3b
1.6.3 (expand/collapse)
From commit 065a8102 to 065a8102
1.10.1 (expand/collapse)
From commit 013c6c32 to 04de1306
1.9.7 (expand/collapse)
From commit 045afcce to 045afcce
1.10.1 (expand/collapse)
From commit 044053e2 to 008453f7
1.6.1 (expand/collapse)
From commit 03582eb6 to 03582eb6
1.10.1 (expand/collapse)
From commit 01ef9fae to 062e1e59
1.9.7 (expand/collapse)
From commit 01f8f4f0 to 01f8f4f0
1.10.1 (expand/collapse)
From commit 0734f44a to 0520141d
1.9.7 (expand/collapse)
From commit 030a521a to 030a521a
1.10.1 (expand/collapse)
From commit 03465e58 to 03956aa1
1.9.7 (expand/collapse)
From commit 035434d8 to 005f0008
1.6.3 (expand/collapse)
From commit 03c09257 to 03c09257
1.9.7 (expand/collapse)
From commit 037e5170 to 075953b7
1.6.1 (expand/collapse)
From commit 05065605 to 05065605
1.9.7 (expand/collapse)
From commit 0391ca2b to 01dc2d9c
1.6.3 (expand/collapse)
From commit 074b608d to 074b608d
1.9.7 (expand/collapse)
From commit 0326ec60 to 07e4cbde
1.6.3 (expand/collapse)
From commit 0432a816 to 0432a816
1.9.7 (expand/collapse)
From commit 07d9edea to 03108183
1.6.3 (expand/collapse)
From commit 07bb1100 to 07bb1100
1.9.7 (expand/collapse)
From commit 04af4657 to 060286eb
1.6.3 (expand/collapse)
From commit 0080a586 to 021813a4
1.6.2 (expand/collapse)
From commit 024b4917 to 024b4917
1.6.3 (expand/collapse)
From commit 04991f2e to 05c13a03
1.6.1 (expand/collapse)
From commit 045a4797 to 045a4797
1.6.3 (expand/collapse)
From commit 05e8b0de to 00fe2670
1.6.2 (expand/collapse)
From commit 03e50cf1 to 0036cceb
1.6.0_8.11 (expand/collapse)
From commit 064e0af8 to 064e0af8
1.6.2 (expand/collapse)
From commit 06dee383 to 0139874d
1.6.0_8.11 (expand/collapse)
From commit 064b446f to 064b446f
1.6.1 (expand/collapse)
From commit 027c28b1 to 031da799
1.6.0_8.11 (expand/collapse)
From commit 01b1ddfa to 01b1ddfa
1.6.1 (expand/collapse)
From commit 03664646 to 0625b9a7
1.6.0_8.11 (expand/collapse)
From commit 0661cf48 to 0661cf48
1.6.1 (expand/collapse)
From commit 021d18ee to 02531646
1.6.0_8.11 (expand/collapse)
From commit 0745ed2b to 0745ed2b
1.6.1 (expand/collapse)
From commit 05f8f9ac to 0285851c
1.6.0_8.11 (expand/collapse)
From commit 06353a23 to 06353a23
1.6.1 (expand/collapse)
From commit 06c6ec1c to 05bf5d72
1.6.0_8.11 (expand/collapse)
From commit 003af12c to 003af12c
1.6.1 (expand/collapse)
From commit 04184cd6 to 012b3a65
1.6.0_8.11 (expand/collapse)
From commit 06f2fd5f to 03f9e197
1.5.0 (expand/collapse)
From commit 00afc855 to 00afc855
1.6.0_8.11 (expand/collapse)
From commit 041bf6e6 to 07e49512
1.5.0 (expand/collapse)
From commit 04fffd6c to 04fffd6c
1.6.0_8.11 (expand/collapse)
From commit 05bf5320 to 03720f1c
1.5.0 (expand/collapse)
From commit 06313ef3 to 06313ef3
1.6.0_8.11 (expand/collapse)
From commit 04f858ff to 04f858ff
1.5.0 (expand/collapse)
From commit 049c0c52 to 019c72c1