mirror of
https://github.com/NixOS/nixpkgs.git
synced 2025-02-10 14:14:20 +00:00
18e59521cd
* coqPackages.hierarchy-builder: 1.5.0 -> 1.7.0 * removing trakt for 8.18 for now at least |
||
|---|---|---|
| .. | ||
| default.nix | ||