Your search for submitter:"Gabriel Hondet"

• Incorrect code snippet in manual
  Done#66319 opened 1 years ago by Gabriel Hondet
• [PATCH 0/3] Add HELambdaP
  • patch
  • team-lisp
  Done#66318 opened 1 years ago by Gabriel Hondet
• Fail to build guix documentation
  Done#66222 opened 1 years ago by Gabriel Hondet
• [PATCH] gnu: Add emacs-ediprolog
  • patch
  • team-emacs
  Done#35687 opened 6 years ago by Gabriel Hondet
• [PATCH] gnu: add ocaml-odoc.
  • patch
  • team-ocaml
  Done#35558 opened 6 years ago by Gabriel Hondet
• dune failure
  Done#35549 opened 6 years ago by Gabriel Hondet
• texlive atomic install
  Done#35358 opened 6 years ago by Gabriel Hondet
• [PATCH] gnu: ocaml-menhir: Update to 20181113.
  • patch
  • team-ocaml
  Done#34627 opened 6 years ago by Gabriel Hondet
• [PATCH] gnu: Add ghc-alsa-core.
  • patch
  • team-haskell
  Done#34415 opened 6 years ago by Gabriel Hondet
• [PATCH] gnu: ocaml-merlin: Added tests
  • patch
  • team-ocaml
  Done#34412 opened 6 years ago by Gabriel Hondet
• [PATCH] gnu: Add ghc-stylish-haskell.
  • patch
  • team-haskell
  Done#34401 opened 6 years ago by Gabriel Hondet
• [PATCH] gnu: Add ghc-base-unicode-symbols.
  • patch
  • team-haskell
  Done#34369 opened 6 years ago by Gabriel Hondet
• [PATCH 1/4] gnu: Add ocaml-earley.
  • patch
  • team-ocaml
  Done#34361 opened 6 years ago by Gabriel Hondet
• [PATCH 1/9] gnu: dune: Update to 1.6.3.
  • patch
  • team-ocaml
  Done#34265 opened 6 years ago by Gabriel Hondet
• [PATCH 1/2] gnu: Add python-discid.
  • patch
  Done#34258 opened 6 years ago by Gabriel Hondet
• [PATCH 1/5] gnu: ocaml-uchar: Update to 0.0.2.
  • patch
  • team-ocaml
  Done#34171 opened 6 years ago by Gabriel Hondet
• [PATCH] gnu: Add ghc-c2hs.
  • patch
  • team-haskell
  Done#34146 opened 6 years ago by Gabriel Hondet
• [PATCH 1/2] gnu: Add ghc-mtl.
  • patch
  • team-haskell
  Done#34137 opened 6 years ago by Gabriel Hondet
• [PATCH] gnu: Add emacs-general.
  • patch
  • team-emacs
  Done#33995 opened 6 years ago by Gabriel Hondet
• [PATCH] gnu: Add ghc-tldr.
  • patch
  • team-haskell
  Done#33987 opened 6 years ago by Gabriel Hondet
• [PATCH 1/9] gnu: Add ocaml-sexplib0.
  • patch
  • team-ocaml
  Done#33986 opened 6 years ago by Gabriel Hondet
• [PATCH] gnu: Add emacs-tldr.
  • patch
  • team-emacs
  Done#33956 opened 6 years ago by Gabriel Hondet
• [PATCH] gnu: Add gauche.
  • patch
  Done#33920 opened 6 years ago by Gabriel Hondet
• [PATCH] gnu: Add ocaml-merlin.
  • patch
  • team-ocaml
  Done#33886 opened 6 years ago by Gabriel Hondet
• [PATCH] gnu: Add ocaml-yojson.
  • patch
  • team-ocaml
  Done#33883 opened 6 years ago by Gabriel Hondet
• [PATCH] gnu: Add ocaml-biniou.
  • patch
  • team-ocaml
  Done#33879 opened 6 years ago by Gabriel Hondet
• [PATCH] gnu: Add kitty.
  • patch
  Done#33877 opened 6 years ago by Gabriel Hondet
• [PATCH] gnu: Add emacs-dedukti-mode emacs-flycheck-dedukti.
  • patch
  • team-emacs
  Done#33866 opened 6 years ago by Gabriel Hondet
• [PATCH] gnu: Add dedukti.
  • patch
  • team-ocaml
  Done#33865 opened 6 years ago by Gabriel Hondet
• ghc-conduit-extra build fails
  Done#33859 opened 6 years ago by Gabriel Hondet
• [PATCH] gnu: Add font-mononoki.
  • patch
  • team-localization
  Done#33853 opened 6 years ago by Gabriel Hondet