mirror of
https://github.com/ilyakooo0/nixpkgs.git
synced 2024-09-25 06:38:22 +03:00
0e751ebadc
svn path=/nixpkgs/trunk/; revision=12005 |
||
---|---|---|
.. | ||
biology | ||
logic/coq |
0e751ebadc
svn path=/nixpkgs/trunk/; revision=12005 |
||
---|---|---|
.. | ||
biology | ||
logic/coq |