run-upstream-build/pika-build-config at 7397648b04298876d913e929d0374b9d36c2deca - run-upstream-build - PikaOS Git

repo-tools/run-upstream-build

generated from general-packages/pika-pkg-template

History

Brunel 7397648b04

PikaOS Upstream Package Build & Release (amd64-v3 + LTO) / build (push) Successful in 40s

Details

coq-mtac2=1.4+8.19-2

2024-08-05 21:48:41 +02:00

..

i386.sh

gcc-14-cross=6

2024-08-05 16:57:11 +02:00

i386setup.sh

Update pika-build-config/i386setup.sh

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

lto.sh

coq-mtac2=1.4+8.19-2

2024-08-05 21:48:41 +02:00

ltosetup.sh

Update pika-build-config/ltosetup.sh

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

v3.sh

zeal=1:0.7.1-1

2024-08-05 21:34:12 +02:00

v3setup.sh

Update pika-build-config/v3setup.sh

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