haskell/stackage
1
0
Fork 0
mirror of https://github.com/commercialhaskell/stackage.git synced 2026-01-12 15:28:29 +01:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity
19,124 Commits 27 Branches 20 Tags 67 MiB
42f54ee482
Commit Graph

22 Commits

Author SHA1 Message Date
Andreas Ländle
5fcac32f06 New curator needs time (fyi @juhp). 2024-05-22 04:42:28 +00:00
Andreas Ländle
5ab2e7cb06 Expect test failures for what4 - since cvc5 is not available (GaloisInc/what4#262). 2024-05-21 18:29:01 +02:00
Jens Petersen
50279cbf17 docker image: include cvc5 in the future for what4 testsuite 
https://github.com/GaloisInc/what4/issues/262

[skip ci]
 2024-05-15 00:25:42 +08:00
Jens Petersen
3e386f2b58 docker image: bump to libncurses-dev (ie ncurses6) 
All recent ghc builds use tinfo6
 2024-05-14 23:08:40 +08:00
Andreas Ländle
3b74e0f275 Install libopenmpi-dev for mpi-hs. 2024-01-29 20:24:30 +01:00
Sirui Lu
2d88ebef11
Add grisette 2024-01-12 09:45:30 -08:00
Andreas Ländle
f9a01cba04 Wanna give cuda another chance. 2023-12-09 10:07:12 +01:00
Preetham Gujjula
ec630b553e
add primecount (#7099) 2023-08-24 21:43:25 -07:00
Jens Petersen
ee4e2d243d Docker: remove various stale commented-out lines 2023-06-12 19:15:08 +02:00
Adam Bergmark
4146b4c964
Merge pull request #6972 from thielema/coinor 
Add linear-programming and coinor-clp
 2023-05-14 12:26:48 +02:00
Henning Thielemann
df21c702b2 Add linear-programming and Debian package libglpk-dev 
needed by comfort-glpk
 2023-05-11 22:44:38 +02:00
Henning Thielemann
7b61fdb1f0 Add linear-programming and coinor-clp 2023-05-11 16:46:58 +02:00
Jens Petersen
42a2c8574f docker image: add webkit2gtk-4.0 2023-01-05 11:59:02 +08:00
Jens Petersen
7d1f56c271 add libsoup2.4-dev to docker image 2023-01-04 15:30:40 +08:00
Jens Petersen
9d60ad8f71 use ubuntu nodejs 
(not sure if anything is actually still using it)
 2022-12-30 23:45:40 +08:00
Jens Petersen
1195a23daf docker: disable llvm9 alternatives 2022-12-30 23:34:21 +08:00
Jens Petersen
9ef980740a docker: add libgtk-4 2022-12-30 23:33:58 +08:00
Jens Petersen
ff8e03d285 disable llvm bionic repo for now 2022-12-30 23:26:24 +08:00
Jens Petersen
c5c2e9bc27 bump installed llvm versions to 11-13 
22.04 doesn't have llvm 7-9
 2022-12-30 23:10:31 +08:00
Jens Petersen
d8d8f6e9c1 make unzip awscliv2.zip quiet 2022-12-30 23:10:01 +08:00
Jens Petersen
ea2fead291 update docker image to Ubuntu/pid1 22.04 LTS 
- drop embedding ghc and stack
- use libz3-dev
 2022-12-30 23:03:37 +08:00
Adam Bergmark
431c2b0933 Upgrade docker image to ubuntu 20.04 2022-06-06 20:03:34 +02:00