nixpkgs / coqPackages.hierarchy-builder - High level commands to declare a hierarchy based on packed classes

Homepage - https://github.com/math-comp/hierarchy-builder

License - MIT

Maintainers - Cyril Cohen - Siraphob Phipathananunth

Releases

1.2.0 (expand/collapse)

From commit 00460bd6 to 00460bd6

1.1.0 (expand/collapse)

From commit 039e3758 to 039e3758

1.2.0 (expand/collapse)

From commit 00f7e1e8 to 021410c0

1.1.0 (expand/collapse)

From commit 0757207f to 0757207f

1.2.0 (expand/collapse)

From commit 0615bf07 to 0615bf07

1.1.0 (expand/collapse)

From commit 072b0733 to 072b0733

1.2.0 (expand/collapse)

From commit 00334d35 to 01d7e711

1.1.0 (expand/collapse)

From commit 0342aee9 to 0342aee9

1.2.0 (expand/collapse)

From commit 049264c3 to 02facd2d

1.1.0 (expand/collapse)

From commit 040b4a51 to 0582654e

1.2.0 (expand/collapse)

From commit 0208a915 to 0208a915

1.1.0 (expand/collapse)

From commit 02c142a2 to 066018f6

0.10.0 (expand/collapse)

From commit 074ef76e to 074ef76e

1.1.0 (expand/collapse)

From commit 0649d2c8 to 07557e3b

1.0.0 (expand/collapse)

From commit 06f7d4c1 to 005c8088

1.1.0 (expand/collapse)

From commit 04855119 to 035dcc0e

0.10.0 (expand/collapse)

From commit 065a8102 to 065a8102

1.1.0 (expand/collapse)

From commit 04de1306 to 04de1306

1.0.0 (expand/collapse)

From commit 07811f56 to 07811f56

1.1.0 (expand/collapse)

From commit 0222f420 to 03507abd

1.0.0 (expand/collapse)

From commit 044053e2 to 025a67bf

0.10.0 (expand/collapse)

From commit 03582eb6 to 03582eb6

1.0.0 (expand/collapse)

From commit 035434d8 to 062e1e59

0.10.0 (expand/collapse)

From commit 03c09257 to 03c09257

1.0.0 (expand/collapse)

From commit 037e5170 to 075953b7

0.10.0 (expand/collapse)

From commit 05065605 to 05065605

1.0.0 (expand/collapse)

From commit 0391ca2b to 01dc2d9c

0.10.0 (expand/collapse)

From commit 074b608d to 074b608d

1.0.0 (expand/collapse)

From commit 0326ec60 to 07e4cbde

0.10.0 (expand/collapse)

From commit 0432a816 to 0432a816

1.0.0 (expand/collapse)

From commit 07d9edea to 03108183

0.10.0 (expand/collapse)

From commit 07bb1100 to 07bb1100

1.0.0 (expand/collapse)

From commit 04af4657 to 060286eb

0.10.0 (expand/collapse)

From commit 049c0c52 to 021813a4