Yurii Rashkovskii 3e9e1828bb

pakcs: 2.1.1 -> 2.1.2 ...

packs 2.1.1 build has been observed to be broken by the upgrade of
swiProlog to 8.1.15. Upgrading packs to 2.1.2 seems to resolve this
issue.

2019-10-08 16:12:12 +07:00

..

curry-base.nix

pakcs: 1.14.0 -> 2.0.2

2018-07-22 18:49:29 +03:00

curry-frontend.nix

pakcs: 1.14.0 -> 2.0.2

2018-07-22 18:49:29 +03:00

default.nix

pakcs: 2.1.1 -> 2.1.2

2019-10-08 16:12:12 +07:00