/

• .codespellrc
• .dir-locals.el
• .editorconfig
• .forgejo
• .gitattributes
• .gitignore
• .guix-authorizations
• .guix-channel
• .mailmap
• .mumi
• .patman
• AUTHORS
• CODE-OF-CONDUCT
• CODEOWNERS
• COPYING
• ChangeLog
• HACKING
• Makefile.am
• NEWS
• README
• README.org
• ROADMAP
• RocqExample.v
• THANKS
• TODO
• bootstrap
• build-aux
• config-daemon.ac
• configure.ac
• doc
• etc
• gnu.scm
• gnu
• guix.scm
• guix
• m4
• manifest.scm
• nix
• package-ci.bash
• patch-checklist.bash
• po
• profiles.org
• reproduce.bash
• scripts
• test-rocq.bash
• tests