run-upstream-build/pika-build-config
Brunel de0d1a0526
All checks were successful
PikaOS Upstream Package Build & Release (amd64-v3 + LTO) / build (push) Successful in 58s
coq-serapi=8.19.0+0.19.3-4
2024-08-04 22:10:52 +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-serapi=8.19.0+0.19.3-4 2024-08-04 22:10:52 +02:00
ltosetup.sh Update pika-build-config/ltosetup.sh 2024-08-03 19:13:42 +02:00
v3.sh libirclib-java=2.0.0~alpha3-1 2024-08-04 22:03:07 +02:00
v3setup.sh Update pika-build-config/v3setup.sh 2024-08-03 19:15:22 +02:00