Show patches with: Submitter = Gabriel Hondet       |    Archived = No       |   71 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bug#35687] gnu: Add emacs-ediprolog [bug#35687] gnu: Add emacs-ediprolog - - - --1 2019-05-11 Gabriel Hondet Accepted
[bug#35558] gnu: add ocaml-odoc. [bug#35558] gnu: add ocaml-odoc. - - - --1 2019-05-04 Gabriel Hondet Accepted
[bug#34627] gnu: ocaml-menhir: Update to 20181113. [bug#34627] gnu: ocaml-menhir: Update to 20181113. - - - --1 2019-05-03 Gabriel Hondet Accepted
[bug#34627] gnu: ocaml-menhir: Update to 20181113. [bug#34627] gnu: ocaml-menhir: Update to 20181113. - - - --1 2019-04-10 Gabriel Hondet Accepted
[bug#34627] gnu: ocaml-menhir: Update to 20181113. [bug#34627] gnu: ocaml-menhir: Update to 20181113. - - - --1 2019-04-06 Gabriel Hondet Accepted
[bug#34627] gnu: ocaml-menhir: Update to 20181113. [bug#34627] gnu: ocaml-menhir: Update to 20181113. - - - --1 2019-02-23 Gabriel Hondet Accepted
[bug#34415] gnu: Add ghc-alsa-core. [bug#34415] gnu: Add ghc-alsa-core. - - - --1 2019-02-10 Gabriel Hondet Accepted
[bug#34412] gnu: ocaml-merlin: Added tests [bug#34412] gnu: ocaml-merlin: Added tests - - - --1 2019-02-10 Gabriel Hondet Accepted
[bug#34401] gnu: Add ghc-stylish-haskell. [bug#34401] gnu: Add ghc-stylish-haskell. - - - --1 2019-02-09 Gabriel Hondet Accepted
[bug#34369] gnu: Add ghc-base-unicode-symbols. [bug#34369] gnu: Add ghc-base-unicode-symbols. - - - --1 2019-02-07 Gabriel Hondet Accepted
[bug#34361,4/4] gnu: Add lambdapi. [bug#34361,1/4] gnu: Add ocaml-earley. - - - --1 2019-02-02 Gabriel Hondet Accepted
[bug#34361,3/4] gnu: Add ocaml-timed. [bug#34361,1/4] gnu: Add ocaml-earley. - - - --1 2019-02-01 Gabriel Hondet Accepted
[bug#34361,2/4] gnu: Add ocaml-bindlib. [bug#34361,1/4] gnu: Add ocaml-earley. - - - --1 2019-02-01 Gabriel Hondet Accepted
[bug#34361,1/4] gnu: Add ocaml-earley. [bug#34361,1/4] gnu: Add ocaml-earley. - - - --1 2019-02-01 Gabriel Hondet Accepted
[bug#34265,3/3] gnu: Add ocaml-ppx-inline-test. [bug#34265,1/3] gnu: dune: Update to 1.6.3. - - - 1-- 2019-02-01 Gabriel Hondet Accepted
[bug#34265,2/3] gnu: ocaml-migrate-parsetree: Update to 1.2.0. [bug#34265,1/3] gnu: dune: Update to 1.6.3. - - - 1-- 2019-02-01 Gabriel Hondet Accepted
[bug#34265,1/3] gnu: dune: Update to 1.6.3. [bug#34265,1/3] gnu: dune: Update to 1.6.3. - - - 1-- 2019-02-01 Gabriel Hondet Accepted
[bug#34265,9/9] gnu: Add ocaml-ppx-inline-test. [bug#34265,1/9] gnu: dune: Update to 1.6.3. - - - --1 2019-01-31 Gabriel Hondet Accepted
[bug#34265,8/9] gnu: ocaml-ppxlib: Update to 0.5.0. [bug#34265,1/9] gnu: dune: Update to 1.6.3. - - - --1 2019-01-31 Gabriel Hondet Accepted
[bug#34265,7/9] gnu: ocaml-compiler-libs: Fix libdir install [bug#34265,1/9] gnu: dune: Update to 1.6.3. - - - --1 2019-01-31 Gabriel Hondet Accepted
[bug#34265,6/9] gnu: ocaml-migrate-parsetree: Update to 1.2.0. [bug#34265,1/9] gnu: dune: Update to 1.6.3. - - - --1 2019-01-31 Gabriel Hondet Accepted
[bug#34265,5/9] gnu: ocaml-base: Update to 0.12-preview.120.18+252. [bug#34265,1/9] gnu: dune: Update to 1.6.3. - - - --1 2019-01-31 Gabriel Hondet Accepted
[bug#34265,4/9] gnu: ocaml-stdio: Fix libdir install [bug#34265,1/9] gnu: dune: Update to 1.6.3. - - - --1 2019-01-31 Gabriel Hondet Accepted
[bug#34265,3/9] gnu: ocaml-ppx-derivers: Fix libdir install [bug#34265,1/9] gnu: dune: Update to 1.6.3. - - - --1 2019-01-31 Gabriel Hondet Accepted
[bug#34265,2/9] gnu: sexplib0: Update to 0.12-preview.120.18+252. [bug#34265,1/9] gnu: dune: Update to 1.6.3. - - - --1 2019-01-31 Gabriel Hondet Accepted
[bug#34265,1/9] gnu: dune: Update to 1.6.3. [bug#34265,1/9] gnu: dune: Update to 1.6.3. - - - --1 2019-01-31 Gabriel Hondet Accepted
[bug#34258,2/2] gnu: Add python-isrcsubmit. [bug#34258,1/2] gnu: Add python-discid. - - - 1-- 2019-01-30 Gabriel Hondet Accepted
[bug#34258,1/2] gnu: Add python-discid. [bug#34258,1/2] gnu: Add python-discid. - - - 1-- 2019-01-30 Gabriel Hondet Accepted
[bug#34137] gnu: Add ghc-libmpd. [bug#34137] gnu: Add ghc-libmpd. - - - 1-- 2019-01-24 Gabriel Hondet Accepted
[bug#34171,5/5] gnu: Add ocaml-craml. [bug#34171,1/5] gnu: ocaml-uchar: Update to 0.0.2. - - - --1 2019-01-23 Gabriel Hondet Accepted
[bug#34171,4/5] gnu: ocaml-logs: Update to 0.6.2. [bug#34171,1/5] gnu: ocaml-uchar: Update to 0.0.2. - - - 1-- 2019-01-23 Gabriel Hondet Accepted
[bug#34171,2/5] gnu: ocaml-fmt: Update to 0.8.5. [bug#34171,1/5] gnu: ocaml-uchar: Update to 0.0.2. - - - 1-- 2019-01-23 Gabriel Hondet Accepted
[bug#34171,3/5] gnu: ocaml-cmdliner: Update to 1.0.2. [bug#34171,1/5] gnu: ocaml-uchar: Update to 0.0.2. - - - 1-- 2019-01-22 Gabriel Hondet Accepted
[bug#34171,1/5] gnu: ocaml-uchar: Update to 0.0.2. [bug#34171,1/5] gnu: ocaml-uchar: Update to 0.0.2. - - - 1-- 2019-01-22 Gabriel Hondet Accepted
[bug#34137] gnu: Add ghc-libmp. [bug#34137] gnu: Add ghc-libmp. - - - 1-- 2019-01-21 Gabriel Hondet Accepted
[bug#34146] gnu: Add ghc-c2hs. [bug#34146] gnu: Add ghc-c2hs. - - - 1-- 2019-01-20 Gabriel Hondet Accepted
[bug#34137,2/2] gnu: Add ghc-libmpd. [bug#34137,1/2] gnu: Add ghc-mtl. - - - 1-- 2019-01-19 Gabriel Hondet Accepted
[bug#34137,1/2] gnu: Add ghc-mtl. [bug#34137,1/2] gnu: Add ghc-mtl. - - - 1-- 2019-01-19 Gabriel Hondet Accepted
[bug#33920] gnu: gauche: Update to 0.9.7 - removed html doc. [bug#33920] gnu: gauche: Update to 0.9.7 - removed html doc. - - - --1 2019-01-16 Gabriel Hondet Accepted
[bug#33920] gnu: gauche: Update to 0.9.7 - removed html doc. [bug#33920] gnu: gauche: Update to 0.9.7 - removed html doc. - - - --1 2019-01-16 Gabriel Hondet Accepted
[bug#33987] gnu: Add ghc-tldr. [bug#33987] gnu: Add ghc-tldr. - - - --1 2019-01-15 Gabriel Hondet Accepted
[bug#33920] gnu: Add gauche. [bug#33920] gnu: Add gauche. - - - --1 2019-01-15 Gabriel Hondet Accepted
[bug#33995] gnu: Add emacs-general. [bug#33995] gnu: Add emacs-general. - - - --1 2019-01-06 Gabriel Hondet Accepted
[bug#33986,8/9] gnu: Add ocaml-ppx-derivers. [bug#33986,1/9] gnu: Add ocaml-sexplib0. - - - --1 2019-01-05 Gabriel Hondet Accepted
[bug#33986,7/9] gnu: Add ocaml-sexplib0. [bug#33986,1/9] gnu: Add ocaml-sexplib0. - - - --1 2019-01-05 Gabriel Hondet Accepted
[bug#33986,5/9] gnu: Add ocaml-sexplib0. [bug#33986,1/9] gnu: Add ocaml-sexplib0. - - - --1 2019-01-05 Gabriel Hondet Accepted
[bug#33986,1/9] gnu: Add ocaml-sexplib0. [bug#33986,1/9] gnu: Add ocaml-sexplib0. - - - --1 2019-01-05 Gabriel Hondet Accepted
[bug#33987] gnu: Add ghc-tldr. [bug#33987] gnu: Add ghc-tldr. - - - --1 2019-01-05 Gabriel Hondet Accepted
[bug#33920] gnu: Add gauche. [bug#33920] gnu: Add gauche. - - - --1 2019-01-05 Gabriel Hondet Accepted
[bug#33986,9/9] gnu: Add ocaml-ppxlib. [bug#33986,1/9] gnu: Add ocaml-sexplib0. - - - --1 2019-01-04 Gabriel Hondet Accepted
[bug#33986,8/9] gnu: Add ocaml-ppx-derivers. [bug#33986,1/9] gnu: Add ocaml-sexplib0. - - - --1 2019-01-03 Gabriel Hondet Accepted
[bug#33986,7/9] gnu: Add ocaml-stdio. [bug#33986,1/9] gnu: Add ocaml-sexplib0. - - - --1 2019-01-03 Gabriel Hondet Accepted
[bug#33986,6/9] gnu: Add ocaml-migrate-parsetree. [bug#33986,1/9] gnu: Add ocaml-sexplib0. - - - --1 2019-01-03 Gabriel Hondet Accepted
[bug#33986,5/9] gnu: Add ocaml-compiler-libs. [bug#33986,1/9] gnu: Add ocaml-sexplib0. - - - --1 2019-01-03 Gabriel Hondet Accepted
[bug#33986,4/9] gnu: Add ocaml-base. [bug#33986,1/9] gnu: Add ocaml-sexplib0. - - - --1 2019-01-03 Gabriel Hondet Accepted
[bug#33986,3/9] gnu: Add ocaml-sexplib. [bug#33986,1/9] gnu: Add ocaml-sexplib0. - - - --1 2019-01-03 Gabriel Hondet Accepted
[bug#33986,2/9] gnu: Add ocaml-parsexp. [bug#33986,1/9] gnu: Add ocaml-sexplib0. - - - --1 2019-01-03 Gabriel Hondet Accepted
[bug#33986,1/9] gnu: Add ocaml-sexplib0. [bug#33986,1/9] gnu: Add ocaml-sexplib0. - - - --1 2019-01-03 Gabriel Hondet Accepted
[bug#33956] gnu: Add emacs-tldr. [bug#33956] gnu: Add emacs-tldr. - - - --1 2019-01-02 Gabriel Hondet Accepted
[bug#33920] gnu: Add gauche. [bug#33920] gnu: Add gauche. - - - --1 2018-12-30 Gabriel Hondet Accepted
[bug#33886] gnu: Add ocaml-merlin. [bug#33886] gnu: Add ocaml-merlin. - - - --1 2018-12-27 Gabriel Hondet Accepted
[bug#33883] gnu: Add ocaml-yojson. [bug#33883] gnu: Add ocaml-yojson. - - - --1 2018-12-27 Gabriel Hondet Accepted
[bug#33879] gnu: Add ocaml-biniou. [bug#33879] gnu: Add ocaml-biniou. - - - --1 2018-12-26 Gabriel Hondet Accepted
[bug#33866,1/2] gnu: Add emacs-dedukti-mode. [bug#33866,1/2] gnu: Add emacs-dedukti-mode. - - - --1 2018-12-26 Gabriel Hondet Accepted
[bug#33877] gnu: Add kitty. [bug#33877] gnu: Add kitty. - - - --1 2018-12-26 Gabriel Hondet Accepted
[bug#33866,2/2] gnu: Add emacs-flycheck-dedukti. [bug#33866,1/2] gnu: Add emacs-dedukti-mode. - - - --1 2018-12-25 Gabriel Hondet Accepted
[bug#33866,1/2] gnu: Add emacs-dedukti-mode. [bug#33866,1/2] gnu: Add emacs-dedukti-mode. - - - --1 2018-12-25 Gabriel Hondet Accepted
[bug#33865] gnu: Add dedukti. [bug#33865] gnu: Add dedukti. - - - --1 2018-12-25 Gabriel Hondet Accepted
[bug#33866] gnu: Add emacs-dedukti-mode emacs-flycheck-dedukti. [bug#33866] gnu: Add emacs-dedukti-mode emacs-flycheck-dedukti. - - - --1 2018-12-25 Gabriel Hondet Accepted
[bug#33865] gnu: Add dedukti. [bug#33865] gnu: Add dedukti. - - - --1 2018-12-25 Gabriel Hondet Accepted
[bug#33853] gnu: Add font-mononoki. [bug#33853] gnu: Add font-mononoki. - - - --1 2018-12-23 Gabriel Hondet Accepted