mirror of
https://github.com/SebastianWendel/nixpkgs.git
synced 2024-09-20 20:39:04 +02:00
289da88ccc
svn path=/nixpkgs/trunk/; revision=12004 |
||
---|---|---|
.. | ||
biology | ||
logic/coq |