Re: [Nix-dev] pakcs

2015-01-06 Thread Domen Kožar
Applied, thanks. On Tue, Jan 6, 2015 at 9:57 AM, Karn Kallio wrote: > > The attached patch advances the version of the pakcs (Portland Aachen Kiel > Curry System compiler) from 1.11.3 to 1.11.4. It also fixes the broken > build > of the expression for the older version. > >

[Nix-dev] pakcs

2015-01-06 Thread Karn Kallio
The attached patch advances the version of the pakcs (Portland Aachen Kiel Curry System compiler) from 1.11.3 to 1.11.4. It also fixes the broken build of the expression for the older version. >From a8eaa6edcdcb0ca4329a6eb433ad729e7e2c1931 Mon Sep 17 00:00:00 2001 From: Karn Kallio Date: Tue,

Re: [Nix-dev] pakcs patch

2014-04-23 Thread Peter Simons
Pushed in 4587bbbca252e07dc692d7edf5a67fb4f0947de7. ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev

[Nix-dev] pakcs patch

2014-04-21 Thread Karn Kallio
The attached patch is to update the pakcs hash for the latest version.>From e7feeb9a54e16d63c8407159da144e5162309d7a Mon Sep 17 00:00:00 2001 From: Karn Kallio Date: Mon, 21 Apr 2014 13:37:18 -0430 Subject: [PATCH] pakcs: update hash for latest version. --- pkgs/development/compilers/pakcs/defa

Re: [Nix-dev] pakcs hash change/version update

2014-03-31 Thread Peter Simons
Pushed in db21a0da9770cc887271615f6ddf8b063d043dd9. ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev

[Nix-dev] pakcs hash change/version update

2014-03-30 Thread Karn Kallio
The PAKCS Curry compiler version 1.11.3 seems to have been updated (from development to current status) without changing the version name and by replacing the tarball. The attached patch updates the hash to match.>From a97a6bfb1210e2346fd7bdd01d0973c13bdae9e8 Mon Sep 17 00:00:00 2001 From: Karn

[Nix-dev] pakcs: advance version and fix build

2014-02-03 Thread Karn Kallio
The PAKCS compiler version 1.11.2 expression was not building (I think due to incompatibility with SWI Prolog 6.6), the attached patch advances the version to the latest 1.11.3 and gets it to build again. >From b4e9f5ab5e28323e023663a888a77cde1e9ce997 Mon Sep 17 00:00:00 2001 From: Karn Kallio