Luis Guilherme Coelho ed878fd6df manifests: Add theorem-proving		2024-01-02 18:08:01 -03:00
..
clojure.scm	manifests: Add clojure	2024-01-01 14:06:11 -03:00
emacs.scm	manifests: emacs: Replace geiser by arei	2024-01-01 14:06:11 -03:00
guile.scm	fix: add (gnu packages scheme) to guile manifest	2023-08-29 21:21:27 -03:00
idris.scm	feat: add a idris manifest for when I get time to hack with it	2023-09-30 13:33:38 -03:00
tex.scm	manifests: tex: Change modular latex manifest to a semimodular one, relying in texlive-collections	2024-01-01 13:57:02 -03:00
theorem-proving.scm	manifests: Add theorem-proving	2024-01-02 18:08:01 -03:00