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