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