Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 646868b2e63425187f8ed9bd93d693bb7aa72e5b
https://github.com/NixOS/nixpkgs/commit/646868b2e63425187f8ed9bd93d693bb7aa72e5b
Author: Michael Raskin <[email protected]>
Date: 2013-05-09 (Thu, 09 May 2013)
Changed paths:
A pkgs/applications/science/logic/otter/default.nix
M pkgs/top-level/all-packages.nix
Log Message:
-----------
Adding Otter theorem prover. The development is frozen, but because of that
Otter is considered a very reliable prover from soundness point of view.
_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
