nixpkgs / coqPackages.InfSeqExt -

Homepage - https://github.com/DistributedComponents/InfSeqExt

Releases

20200131 (expand/collapse)

From commit 066544a7 to 00460bd6

20180918 (expand/collapse)

From commit 05a16be9 to 05a16be9

20200131 (expand/collapse)

From commit 049b68be to 0456d939

20180918 (expand/collapse)

From commit 02b3cac1 to 02b3cac1

20200131 (expand/collapse)

From commit 0446bf0c to 008e7e32

20180918 (expand/collapse)

From commit 03b9bc9e to 07d3ca81