sem7/pp/prolog/shell.nix


1
2
3
4
5
6
7
8
9
10
11
12
13

{ pkgs ? import <nixpkgs> {} }:
let
    pkgs_old = import (builtins.fetchTarball {
        name = "nixpkgs-racket";
        url = "https://github.com/nixos/nixpkgs/archive/1bf0327ef6d7e0959f3250758b4d33b4066a732b.tar.gz";
        sha256 = "1pz4xaimpb1y8xmqz9c8a2g1nsr77jc7nxi6m8v4ph8q1r3c7pz9";
    }) {};
in
pkgs.mkShell {
    buildInputs = with pkgs; [
        pkgs_old.racket swiProlog
    ];
}