diff options
author | Bignaux Ronan <ronan@aimao.org> | 2018-03-04 23:51:15 +0100 |
---|---|---|
committer | Joachim F <joachifm@users.noreply.github.com> | 2018-03-04 22:51:15 +0000 |
commit | 7bffe53aeac12788bc9d7fa1a4145e181eb114d8 (patch) | |
tree | 05d20e86f47c8b09bc9779e30bf387036a6da2f7 /pkgs/top-level/all-packages.nix | |
parent | 9c0e9f6a3055c0b6f84e006858b82cf69c4de4ab (diff) | |
download | nixlib-7bffe53aeac12788bc9d7fa1a4145e181eb114d8.tar nixlib-7bffe53aeac12788bc9d7fa1a4145e181eb114d8.tar.gz nixlib-7bffe53aeac12788bc9d7fa1a4145e181eb114d8.tar.bz2 nixlib-7bffe53aeac12788bc9d7fa1a4145e181eb114d8.tar.lz nixlib-7bffe53aeac12788bc9d7fa1a4145e181eb114d8.tar.xz nixlib-7bffe53aeac12788bc9d7fa1a4145e181eb114d8.tar.zst nixlib-7bffe53aeac12788bc9d7fa1a4145e181eb114d8.zip |
caprice32 : init at unstable-2018-02-10 (#35008)
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 50ee8a0f786d..970a6d4b18d4 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -19609,6 +19609,8 @@ with pkgs; cryptoverif = callPackage ../applications/science/logic/cryptoverif { }; + caprice32 = callPackage ../misc/emulators/caprice32 { }; + cubicle = callPackage ../applications/science/logic/cubicle { }; cvc3 = callPackage ../applications/science/logic/cvc3 { |