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