diff options
| author | Michael Raskin <7c6f434c@mail.ru> | 2010-12-01 21:29:42 +0000 |
|---|---|---|
| committer | Michael Raskin <7c6f434c@mail.ru> | 2010-12-01 21:29:42 +0000 |
| commit | c32bd62956738a6750f1f1e01d01629f2bf1d4f7 (patch) | |
| tree | 681c1556f24f1f61a3ae847232b4505d33c76630 /pkgs/top-level/perl-packages.nix | |
| parent | 373fabf1c0d3d6bdf6c8a029f59854080172baef (diff) | |
| download | nixlib-c32bd62956738a6750f1f1e01d01629f2bf1d4f7.tar nixlib-c32bd62956738a6750f1f1e01d01629f2bf1d4f7.tar.gz nixlib-c32bd62956738a6750f1f1e01d01629f2bf1d4f7.tar.bz2 nixlib-c32bd62956738a6750f1f1e01d01629f2bf1d4f7.tar.lz nixlib-c32bd62956738a6750f1f1e01d01629f2bf1d4f7.tar.xz nixlib-c32bd62956738a6750f1f1e01d01629f2bf1d4f7.tar.zst nixlib-c32bd62956738a6750f1f1e01d01629f2bf1d4f7.zip | |
Adding LEO2 automated higher-order prover
svn path=/nixpkgs/trunk/; revision=24952
Diffstat (limited to 'pkgs/top-level/perl-packages.nix')
0 files changed, 0 insertions, 0 deletions