2019-01-13 | Gabriel Hondet | gnu: Add ocaml-merlin. |
commit | commitdiff | tree |
2019-01-13 | Gabriel Hondet | gnu: Add emacs-tldr. |
commit | commitdiff | tree |
2019-01-11 | Gabriel Hondet | gnu: Add emacs-general. ...signature from 31BC8105F659D425 Gabriel Hondet <gabrielhondet@gmail.com> (trust... |
commit | commitdiff | tree |
2019-01-06 | Gabriel Hondet | gnu: Add kitty. |
commit | commitdiff | tree |
2018-12-27 | Gabriel Hondet | gnu: Add ocaml-yojson. |
commit | commitdiff | tree |
2018-12-27 | Gabriel Hondet | gnu: Add ocaml-biniou. |
commit | commitdiff | tree |
2018-12-27 | Gabriel Hondet | gnu: Add emacs-flycheck-dedukti. |
commit | commitdiff | tree |
2018-12-27 | Gabriel Hondet | gnu: Add emacs-dedukti-mode. |
commit | commitdiff | tree |
2018-12-25 | Gabriel Hondet | gnu: Add dedukti. |
commit | commitdiff | tree |
2018-12-24 | Gabriel Hondet | gnu: Add font-mononoki. |
commit | commitdiff | tree |