mirror of
https://github.com/ilyakooo0/nixpkgs.git
synced 2024-10-13 07:57:32 +03:00
18e59521cd
* coqPackages.hierarchy-builder: 1.5.0 -> 1.7.0 * removing trakt for 8.18 for now at least |
||
---|---|---|
.. | ||
default.nix |