repo-tools/run-upstream-build - run-upstream-build - PikaOS Git

repo-tools/run-upstream-build

generated from general-packages/pika-pkg-template

Go to file

Brunel 3d3910eb76

PikaOS Upstream Package Build & Release (amd64-v3 + LTO) / build (push) Successful in 28s

Details

coq-reduction-effects=0.1.5-5

2024-08-04 20:54:36 +02:00

.github/workflows

Update .github/workflows/i386.yml

2024-07-31 21:36:56 +02:00

add patch and reversion system

2024-07-27 23:28:56 +03:00

pika-build-config

coq-reduction-effects=0.1.5-5

2024-08-04 20:54:36 +02:00

LICENSE.md

Initial commit

2024-07-27 20:12:37 +02:00

main.sh

Update main.sh

2024-08-03 18:17:35 +02:00

release.sh

filter all debs on i386

2024-08-02 23:08:31 +02:00

series

initial attempt

2024-07-27 19:48:07 +01:00