mirror of
https://github.com/NixOS/nixpkgs.git
synced 2025-02-26 14:04:52 +00:00
5b0398dc36
Conflicts: gobby and libinfinity - I took the hand-edited versions instead of those resuting from the mass-replacement. Hydra: ?compare=1473190 |
||
|---|---|---|
| .. | ||
| autosubst | ||
| bignums | ||
| category-theory | ||
| CoLoR | ||
| contribs | ||
| coq-ext-lib | ||
| coq-haskell | ||
| coquelicot | ||
| dpdgraph | ||
| equations | ||
| fiat | ||
| flocq | ||
| heq | ||
| HoTT | ||
| interval | ||
| iris | ||
| math-classes | ||
| mathcomp | ||
| metalib | ||
| multinomials | ||
| paco | ||
| QuickChick | ||
| ssreflect | ||
| stdpp | ||
| tlc | ||