diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2012-12-27 06:32:03 -0800 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2012-12-27 06:32:03 -0800 |
commit | b31e6aa79479e633562edc4e67b1f7184786a332 (patch) | |
tree | baa18f013462b03b64437928fa85d15367a37156 /pkgs/top-level/all-packages.nix | |
parent | 15d69893226f73654537b75de46328d0181be1ff (diff) | |
parent | fcdf685793c7d67c9829e6452ec2164a501e783e (diff) | |
download | nixpkgs-b31e6aa79479e633562edc4e67b1f7184786a332.tar nixpkgs-b31e6aa79479e633562edc4e67b1f7184786a332.tar.gz nixpkgs-b31e6aa79479e633562edc4e67b1f7184786a332.tar.bz2 nixpkgs-b31e6aa79479e633562edc4e67b1f7184786a332.tar.lz nixpkgs-b31e6aa79479e633562edc4e67b1f7184786a332.tar.xz nixpkgs-b31e6aa79479e633562edc4e67b1f7184786a332.tar.zst nixpkgs-b31e6aa79479e633562edc4e67b1f7184786a332.zip |
Merge pull request #231 from RSzibele/master
Added Logisim 2.7.1
Diffstat (limited to 'pkgs/top-level/all-packages.nix')
-rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index a4d26ebd773..2ab59becf22 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -8745,6 +8745,8 @@ let leo2 = callPackage ../applications/science/logic/leo2 {}; + logisim = callPackage ../applications/science/logic/logisim {}; + matita = callPackage ../applications/science/logic/matita { ocaml = ocaml_3_11_2; inherit (ocamlPackages_3_11_2) findlib lablgtk ocaml_expat gmetadom ocaml_http |