Commit Graph

20 Commits

Author SHA1 Message Date
Sigmanificient
63d05d989e pkgs/development: remove unused arguments 2024-08-03 17:18:20 +02:00
maralorn
8c5b90372b Merge branch 'master' into haskell-updates 2024-07-15 00:01:49 +02:00
aleksana
592e3845c4 treewide: sha256 -> hash attribute for fetchgit 2024-07-14 19:10:08 +08:00
sternenseemann
82b70a2d76 koka: build with lsp 2.4.0.0 (latest is not supported) 2024-07-12 20:17:06 +02:00
Ben Siraphob
1c842131a3
koka: 3.1.0 -> 3.1.2 2024-06-15 12:31:01 +00:00
maralorn
c71f355699 haskellPackages: Fix eval warnings and errors 2024-03-18 13:54:18 +01:00
sternenseemann
5f2e6243fb koka: build with lsp-2.4.0.0 2024-03-05 01:25:36 +01:00
sternenseemann
a71dda05b3 koka: patch for stackage 22 deps 2024-02-27 00:24:41 +01:00
R. Ryantm
e910a0bc4d koka: 3.0.4 -> 3.1.0 2024-02-16 12:21:03 +01:00
modderme123
6c9f27ab9a koka: 2.4.2 -> 3.0.4 2024-01-31 19:29:54 +01:00
dxo
b69890924f koka: 2.4.0 -> 2.4.2 2023-07-18 16:14:02 +02:00
Ben Siraphob
c8367fb9d4 koka: 2.3.8 -> 2.4.0 2022-06-01 10:24:15 +02:00
Patrick Mahoney
ad0d13cf37 koka: 2.3.6 -> 2.3.8
Include fix for mimalloc on darwin; see
https://github.com/koka-lang/koka/issues/243
2022-05-15 15:02:03 -05:00
R. Ryantm
dc67304893 koka: 2.3.2 -> 2.3.6 2021-12-13 15:08:05 +01:00
superherointj
5a2307043a koka: 2.3.1 -> 2.3.2 2021-10-21 15:27:01 -03:00
sternenseemann
6fd63365fc koka: 2.1.9 -> 2.3.1 2021-09-30 14:59:00 +02:00
sternenseemann
e2a11c1d3d koka: 2.1.4 -> 2.1.9 2021-07-04 21:45:33 +02:00
Ben Siraphob
0d8332d2b9 koka: 2.1.1 -> 2.1.4 2021-06-09 12:16:11 +02:00
sternenseemann
4a67076273 koka: make sure runtime dependencies are host -> target
buildPackages.stdenv.cc.cc is a C compiler that runs on the build
platform and produces binaries for the host platform. This is not
what we want. Also pkgsHostTarget.stdenv.cc is not the compiler we
want as stdenv always runs on the previous stage so to say (the stdenv
is used to build the package set, in the case of cross compiling
this is not done natively). Thus pkgsHostTarget.targetPackages.stdenv.cc
is what we want.
2021-04-25 12:36:06 +02:00
Ben Siraphob
11027de7ae koka: init at 2.1.1 2021-03-30 12:28:57 +02:00