run-upstream-build/pika-build-config at 69972518f9ee1adcdb464d8e8b8632c85b5943a4 - run-upstream-build - PikaOS Git

repo-tools/run-upstream-build

generated from general-packages/pika-pkg-template

History

Brunel 69972518f9

PikaOS Upstream Package Build & Release (amd64-v3) / build (push) Has been cancelled

Details

gcc-11-cross-mipsen=6+c1+nmu1

2024-08-04 14:34:23 +02:00

..

i386.sh

webkit2gtk=2.44.2-1

2024-08-04 10:33:23 +02:00

i386setup.sh

Update pika-build-config/i386setup.sh

2024-08-03 23:42:00 +02:00

lto.sh

coq-iris=4.2.0-3

2024-08-04 14:25:30 +02:00

ltosetup.sh

Update pika-build-config/ltosetup.sh

2024-08-03 19:13:42 +02:00

v3.sh

gcc-11-cross-mipsen=6+c1+nmu1

2024-08-04 14:34:23 +02:00

v3setup.sh

Update pika-build-config/v3setup.sh

2024-08-03 19:15:22 +02:00