repo-tools/run-upstream-build
2
0
Fork 0
generated from general-packages/pika-pkg-template
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity
run-upstream-build/pika-build-config
History
Brunel 8cf1f1a2d1
All checks were successful
PikaOS Upstream Package Build & Release (amd64-v3 + LTO) / build (push) Successful in 48s
Details
coq-hierarchy-builder=1.7.0-2
2024-08-04 20:21:28 +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-hierarchy-builder=1.7.0-2
2024-08-04 20:21:28 +02:00
ltosetup.sh
Update pika-build-config/ltosetup.sh
2024-08-03 19:13:42 +02:00
v3.sh
fricas=1.3.11-2
2024-08-04 20:19:47 +02:00
v3setup.sh
Update pika-build-config/v3setup.sh
2024-08-03 19:15:22 +02:00