nixpkgs / coqPackages.coqprime - Library to certify primality using Pocklington certificate and Elliptic Curve Certificate

Homepage - https://github.com/thery/coqprime

License - LGPL-2.1

Maintainers - Vincent Laporte

Releases

8.12 (expand/collapse)

From commit 02c142a2 to 00460bd6

8.10 (expand/collapse)

From commit 074ef76e to 074ef76e

8.12 (expand/collapse)

From commit 04855119 to 07557e3b

8.10 (expand/collapse)

From commit 065a8102 to 065a8102

8.12 (expand/collapse)

From commit 044053e2 to 04de1306

8.10 (expand/collapse)

From commit 03582eb6 to 03582eb6

8.12 (expand/collapse)

From commit 035434d8 to 062e1e59

8.10 (expand/collapse)

From commit 03c09257 to 03c09257

8.12 (expand/collapse)

From commit 037e5170 to 075953b7

8.10 (expand/collapse)

From commit 05065605 to 05065605

8.12 (expand/collapse)

From commit 0391ca2b to 01dc2d9c

8.10 (expand/collapse)

From commit 074b608d to 074b608d

8.12 (expand/collapse)

From commit 0326ec60 to 07e4cbde

8.10 (expand/collapse)

From commit 0432a816 to 0432a816

8.12 (expand/collapse)

From commit 07d9edea to 03108183

8.10 (expand/collapse)

From commit 07bb1100 to 07bb1100

8.12 (expand/collapse)

From commit 04af4657 to 060286eb

8.10 (expand/collapse)

From commit 06749ba3 to 021813a4

8.8 (expand/collapse)

From commit 05fe6112 to 05fe6112

8.10 (expand/collapse)

From commit 015c5a2b to 0096eb92

8.8 (expand/collapse)

From commit 00347e95 to 00347e95

8.10 (expand/collapse)

From commit 063c756b to 00946dc2

8.8 (expand/collapse)

From commit 00d8c11a to 00d8c11a

8.10 (expand/collapse)

From commit 0620184f to 03197f94

8.8 (expand/collapse)

From commit 02626990 to 02626990

8.10 (expand/collapse)

From commit 049c0c52 to 02ee8250

8.8 (expand/collapse)

From commit 03b9bc9e to 016dad9d