run-upstream-build

Go to file

Brunel f0267b6a53 All checks were successful PikaOS Upstream Package Build & Release (amd64-v3 + LTO) / build (push) Successful in 1m3s Details coq-relation-algebra=1.7.10-4		2024-08-05 15:51:13 +02:00
.github/workflows	Update .github/workflows/i386.yml	2024-07-31 21:36:56 +02:00
patches	add patch and reversion system	2024-07-27 23:28:56 +03:00
pika-build-config	coq-relation-algebra=1.7.10-4	2024-08-05 15:51:13 +02:00
LICENSE.md	Initial commit	2024-07-27 20:12:37 +02:00
main.sh	Update main.sh	2024-08-04 21:17:16 +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