Brunel 24bf2794b2 coq-record-update=0.3.4-4

2024-11-23 22:37:53 +01:00

..

amd64_nest.sh

Update pika-build-config/amd64_nest.sh

2024-08-26 18:05:06 +02:00

amd64.sh

tkey-ssh-agent=1.0.0+ds-1

2024-11-23 06:31:21 +01:00

amd64setup.sh

Update pika-build-config/amd64setup.sh

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

i386_nest.sh

nest straight builds

2024-08-26 18:46:22 +03: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-23 02:15:46 +01:00

lto.sh

coq-record-update=0.3.4-4

2024-11-23 22:37:53 +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-10-23 13:34:01 +02:00

v3.sh

handbrake-dmo=1:1.8.2-dmo5

2024-11-23 21:31:34 +01:00

v3setup.sh

Update pika-build-config/v3setup.sh

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