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
ee13ad036a
run-upstream-build/pika-build-config
History
Brunel ee13ad036a
All checks were successful
PikaOS Upstream Package Build & Release (amd64-v3 + LTO) / build (push) Successful in 1m4s
Details
mergedeep=1.3.4-4
2024-12-19 03:26:35 +01:00
..
amd64_nest.sh Update pika-build-config/amd64_nest.sh 2024-11-24 20:45:27 +01:00
amd64.sh mathcomp-real-closed=2.0.2-1 2024-12-19 02:49:28 +01:00
amd64setup.sh Update pika-build-config/amd64setup.sh 2024-10-02 21:46:28 +02:00
i386_nest.sh Update pika-build-config/i386_nest.sh 2024-12-01 16:00:49 +01:00
i386.sh Update pika-build-config/i386.sh 2024-11-13 21:30:57 +01:00
i386setup.sh Update pika-build-config/i386setup.sh 2024-10-02 21:46:39 +02:00
lto_nest.sh Update pika-build-config/lto_nest.sh 2024-11-28 18:11:56 +01:00
lto.sh mergedeep=1.3.4-4 2024-12-19 03:26:35 +01:00
ltosetup.sh Update pika-build-config/ltosetup.sh 2024-11-15 16:54:08 +01:00
v3_nest.sh Update pika-build-config/v3_nest.sh 2024-11-24 19:03:04 +01:00
v3.sh coq-extructures=0.5.0-1 2024-12-19 03:15:52 +01:00
v3setup.sh Update pika-build-config/v3setup.sh 2024-10-02 21:46:51 +02:00