run-upstream-build

Go to file

Brunel 60086d7aa5 All checks were successful PikaOS Upstream Package Build & Release (amd64-v3 + LTO) / build (push) Successful in 33s Details coq-equations=1.3-8.19-2		2024-08-04 23:08:47 +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-equations=1.3-8.19-2	2024-08-04 23:08:47 +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