nixpkgs / coqPackages.paco - A Coq library implementing parameterized coinduction

Homepage - http://plv.mpi-sws.org/paco/

Maintainers - John Wiegley - Valentin Robert

Releases

4.0.2 (expand/collapse)
From commit 06749ba3 to 00460bd6
4.0.0 (expand/collapse)
From commit 05fe6112 to 05fe6112
4.0.2 (expand/collapse)
From commit 06f2fd5f to 0096eb92
4.0.0 (expand/collapse)
From commit 00afc855 to 00afc855
4.0.2 (expand/collapse)
From commit 0722158d to 07e49512
4.0.0 (expand/collapse)
From commit 04b7c0af to 04b7c0af
4.0.2 (expand/collapse)
From commit 05d4955a to 03df9f54
4.0.0 (expand/collapse)
From commit 00251c06 to 00251c06
4.0.2 (expand/collapse)
From commit 05659a44 to 06d328c3
4.0.0 (expand/collapse)
From commit 069e485c to 069e485c
4.0.2 (expand/collapse)
From commit 015c5a2b to 019fa5f6
4.0.0 (expand/collapse)
From commit 00946dc2 to 00347e95
4.0.2 (expand/collapse)
From commit 05b955a1 to 015d4e2e
4.0.0 (expand/collapse)
From commit 063f1d73 to 01762fec
4.0.2 (expand/collapse)
From commit 0367125b to 0367125b
4.0.0 (expand/collapse)
From commit 0288741d to 0331c39d
8.9-4.0.0 (expand/collapse)
From commit 03f3d67e to 03f3d67e
4.0.0 (expand/collapse)
From commit 01740090 to 01c9c9b1
8.9-4.0.0 (expand/collapse)
From commit 07bd8938 to 07bd8938
4.0.0 (expand/collapse)
From commit 0521dc3f to 037c91b1
8.9-4.0.0 (expand/collapse)
From commit 00afca09 to 00afca09
4.0.0 (expand/collapse)
From commit 03cf599a to 03fb78e8
8.9-4.0.0 (expand/collapse)
From commit 06decf04 to 046dae01
8.4-1.2.7 (expand/collapse)
From commit 06d020fe to 03f2888b