mirror of
https://github.com/ilyakooo0/nixpkgs.git
synced 2024-12-26 12:53:59 +03:00
403938b004
svn path=/nixpkgs/trunk/; revision=23447 |
||
---|---|---|
.. | ||
coq | ||
eProver | ||
hol | ||
hol_light | ||
isabelle | ||
prover9 | ||
ssreflect |