libre-chip/fayalite-deps
4
0
Fork 1
Code Issues Pull requests Projects Releases Packages 2 Wiki Activity Actions
container images with all of Fayalite's dependencies
6 commits 1 branch 0 tags 82 KiB
Find a file
Exact
Cesar Strauss 49076888de
Some checks failed
/ podman-rootless-build (pull_request) Has been cancelled
Details
/ build (pull_request) Has been cancelled
Details
/ podman-rootless-build (push) Successful in 38s
Details
/ build (push) Successful in 38m34s
Details
Split the Rocq installation. 
It should split the individual object size roughly in half.
2026-01-01 11:53:59 -03:00
.forgejo/workflows
scripts
.containerignore build devices xc7a35tcsg324-1 and xc7a100tcsg324-1 2025-10-14 03:15:46 -07:00
.gitignore
bbaexport_all.sh build devices xc7a35tcsg324-1 and xc7a100tcsg324-1 2025-10-14 03:15:46 -07:00
Containerfile Split the Rocq installation. 2026-01-01 11:53:59 -03:00
LICENSE.md
Notices.txt