Luis Guilherme Coelho
|
ed878fd6df
|
manifests: Add theorem-proving
|
2024-01-02 18:08:01 -03:00 |
|
Luis Guilherme Coelho
|
dc562d7a2d
|
manifests: Add clojure
|
2024-01-01 14:06:11 -03:00 |
|
Luis Guilherme Coelho
|
f9b87d644a
|
manifests: emacs: Replace geiser by arei
|
2024-01-01 14:06:11 -03:00 |
|
Luis Guilherme Coelho
|
caa9a3508e
|
manifests: emacs: Fix indentation
|
2024-01-01 14:06:08 -03:00 |
anemofilia
|
2d92250b52
|
manifests: tex: Change modular latex manifest to a semimodular one, relying in texlive-collections
|
2024-01-01 13:57:02 -03:00 |
|
anemofilia
|
1cea301441
|
feat: add a idris manifest for when I get time to hack with it
|
2023-09-30 13:33:38 -03:00 |
|
anemofilia
|
8dd2495f1a
|
chore: Add texlive-amscls and texlive-amslatex-primer to tex manifest
|
2023-09-16 19:50:49 -03:00 |
|
anemofilia
|
f4fe6edb45
|
chore: substitute the now deprecated texlive-hyphen-french by texlive-hyphen-complete
|
2023-09-03 13:24:33 -03:00 |
|
anemofilia
|
8d1b616620
|
fix: add (gnu packages scheme) to guile manifest
|
2023-08-29 21:21:27 -03:00 |
|
anemofilia
|
a9bee66f1f
|
feat: add a manifest for guile
|
2023-08-28 17:11:57 -03:00 |
|
anemofilia
|
2fed615320
|
breaking: move emacs packages to a guix manifest
|
2023-08-28 11:39:04 -03:00 |
|
anemofilia
|
0be7f59a5a
|
breaking: move texlive packages to a guix manifest
|
2023-08-28 11:31:52 -03:00 |