diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2007-10-07 13:37:08 +0000 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2007-10-07 13:37:08 +0000 |
commit | c86efaec8157d6753c6b14c628a8d3c53a95532b (patch) | |
tree | 7ed6e956aba2b05a4e6c64647f2f062a15004f39 /pkgs/misc/jackaudio/default.nix | |
parent | 5794f85ed8495c7fa53294706d9c51408502a5e6 (diff) | |
download | nixlib-c86efaec8157d6753c6b14c628a8d3c53a95532b.tar nixlib-c86efaec8157d6753c6b14c628a8d3c53a95532b.tar.gz nixlib-c86efaec8157d6753c6b14c628a8d3c53a95532b.tar.bz2 nixlib-c86efaec8157d6753c6b14c628a8d3c53a95532b.tar.lz nixlib-c86efaec8157d6753c6b14c628a8d3c53a95532b.tar.xz nixlib-c86efaec8157d6753c6b14c628a8d3c53a95532b.tar.zst nixlib-c86efaec8157d6753c6b14c628a8d3c53a95532b.zip |
Added E authomated theorem prover and script eproof-tptp for TPTP syntax.
svn path=/nixpkgs/trunk/; revision=9418
Diffstat (limited to 'pkgs/misc/jackaudio/default.nix')
0 files changed, 0 insertions, 0 deletions