Luis Guilherme Coelho c25c1979f7 radio: manifests: haskell: Add gcc-toolchain		2024-07-03 21:13:13 -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	manifests: guile: Remove guile-srfi-197 and guile-srfi-232	2024-04-26 18:56:48 -03:00
haskell.scm	radio: manifests: haskell: Add gcc-toolchain	2024-07-03 21:13:13 -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