run-upstream-build/pika-build-config at 93f337a564528f6d0b776131c4cfe58adc7c7768 - run-upstream-build - PikaOS Git

repo-tools/run-upstream-build

generated from general-packages/pika-pkg-template

History

Brunel 93f337a564

PikaOS Upstream Package Build & Release (amd64-v3) / build (push) Failing after 56s

Details

coq-deriving=0.2.1-1

2024-12-19 02:48:15 +01:00

..

amd64_nest.sh

Update pika-build-config/amd64_nest.sh

2024-11-24 20:45:27 +01:00

amd64.sh

coqeal=2.0.3-1

2024-12-19 02:45:48 +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

php-pspell=3:1.0.1-3

2024-12-19 02:43:20 +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-deriving=0.2.1-1

2024-12-19 02:48:15 +01:00

v3setup.sh

Update pika-build-config/v3setup.sh

2024-10-02 21:46:51 +02:00