zero/home-environments/radio/manifests
Luis Guilherme Coelho 08e77f7b4b
radio: manifests: guile: Add guile-stis-parser
2024-07-31 21:46:40 -03:00
..
clojure.scm radio: manifests: Move manifests to home-environments/radio/manifests 2024-03-09 14:45:20 -03:00
emacs.scm radio: manifests: emacs: Add emacs-lean4-mode 2024-06-14 16:03:13 -03:00
guile.scm radio: manifests: guile: Add guile-stis-parser 2024-07-31 21:46:40 -03:00
idris.scm radio: manifests: Move manifests to home-environments/radio/manifests 2024-03-09 14:45:20 -03:00
tex.scm manifests: tex: Add rubber and remove redundant packages 2024-04-23 11:29:58 -03:00
theorem-proving.scm radio: manifests: Move manifests to home-environments/radio/manifests 2024-03-09 14:45:20 -03:00