summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
linode-image-docsAdded instructions for deploying machine configurations.Dan Rostovtsev2 months
mastergnu: python-vulture: Update to 2.16.jgart7 weeks
rocq-codeberg-pr-v1gnu: Add rocq 9.2.0.Dan Rostovtsev7 weeks
rocq-codeberg-pr-v2gnu: Add rocq 9.2.0.Dan Rostovtsev7 weeks
rocq-codeberg-pr-v3gnu: rocqide: Add 9.2.0.Dan Rostovtsev7 weeks
rocq-wipPatched Package CI script.Dan Rostovtsev7 weeks
 
 
AgeCommit messageAuthor
2026-04-07Patched Package CI script.rocq-wipDan Rostovtsev
2026-04-07Runtime profiles fixed. Package definitions cleaned up.Dan Rostovtsev
2026-04-07Added notes about Guix profiles and Rocq packaging.Dan Rostovtsev
2026-04-07"rocq-core" now builds. Runtime profiles need fixing.Dan Rostovtsev
2026-04-07Added all project target from rocq. rocq-core does not build.Dan Rostovtsev
2026-04-07Added build-flags and test-flags for serial build and check phases.Dan Rostovtsev
2026-04-07Removed unnecessary configure step from rocq build.Dan Rostovtsev
2026-04-07First working version with dune-build-system + #:package pattern.Dan Rostovtsev
2026-04-07Added package integration tests script.Dan Rostovtsev
2026-04-07Added build to start of patch checklist.Dan Rostovtsev
[...]
 
Clone
git://git.rostovtsev.org/guix
generated by cgit v1.3 (git 2.53.0) at 2026-05-27 13:07:15 +0000