Show patches with: Submitter = Garek Dyszel       |    State = Action Required       |    Archived = No       |   44 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[bug#58310] Manifest for coq-mathcomp-analysis [bug#58310] Manifest for coq-mathcomp-analysis - - - --- 2022-11-12 Garek Dyszel New
[bug#58310,14/14] gnu: Add coq-mathcomp-analysis. [bug#58310,01/14] gnu: Add python-pprintpp. - - - --- 2022-10-05 Garek Dyszel New
[bug#58310,13/14] gnu: Add coq-mathcomp-hierarchy-builder. [bug#58310,01/14] gnu: Add python-pprintpp. - - - --- 2022-10-05 Garek Dyszel New
[bug#58310,12/14] gnu: Add coq-elpi. [bug#58310,01/14] gnu: Add python-pprintpp. - - - --- 2022-10-05 Garek Dyszel New
[bug#58310,11/14] gnu: Add ocaml-elpi. [bug#58310,01/14] gnu: Add python-pprintpp. - - - --- 2022-10-05 Garek Dyszel New
[bug#58310,10/14] gnu: Add ocaml-atd. [bug#58310,01/14] gnu: Add python-pprintpp. - - - --- 2022-10-05 Garek Dyszel New
[bug#58310,09/14] gnu: python-jsonschema-next: Update to 4.16.0. [bug#58310,01/14] gnu: Add python-pprintpp. - - - --- 2022-10-05 Garek Dyszel New
[bug#58310,08/14] gnu: Add python-hatch-fancy-pypi-readme. [bug#58310,01/14] gnu: Add python-pprintpp. - - - --- 2022-10-05 Garek Dyszel New
[bug#58310,07/14] gnu: Add python-pytest-icdiff. [bug#58310,01/14] gnu: Add python-pprintpp. - - - --- 2022-10-05 Garek Dyszel New
[bug#58310,06/14] gnu: Add python-hatch-vcs. [bug#58310,01/14] gnu: Add python-pprintpp. - - - --- 2022-10-05 Garek Dyszel New
[bug#58310,05/14] gnu: Add python-hatch. [bug#58310,01/14] gnu: Add python-pprintpp. - - - --- 2022-10-05 Garek Dyszel New
[bug#58310,04/14] gnu: Add python-hatchling-bootstrap. [bug#58310,01/14] gnu: Add python-pprintpp. - - - --- 2022-10-05 Garek Dyszel New
[bug#58310,03/14] gnu: Add python-setuptools-scm-7.* gnu/packages/python-build.scm (python-setuptoo… [bug#58310,01/14] gnu: Add python-pprintpp. - - - --- 2022-10-05 Garek Dyszel New
[bug#58310,02/14] gnu: Add python-pluggy-1.0.* gnu/packages/python-xyz.scm (python-pluggy-1.0): New… [bug#58310,01/14] gnu: Add python-pprintpp. - - - --- 2022-10-05 Garek Dyszel New
[bug#58310,01/14] gnu: Add python-pprintpp. [bug#58310,01/14] gnu: Add python-pprintpp. - - - --- 2022-10-05 Garek Dyszel New
[bug#58276] gnu: python-setuptools-scm: Update to 7.0.5. [bug#58276] gnu: python-setuptools-scm: Update to 7.0.5. - - - --- 2022-10-03 Garek Dyszel New
[bug#57774,v2] Add qucs-s. [bug#57774,v2] Add qucs-s. - - - --- 2022-09-13 Garek Dyszel New
[bug#57774] Add qucs-s. [bug#57774] Add qucs-s. - - - --- 2022-09-13 Garek Dyszel New
[bug#57540,RFC,v2,19/19] gnu: Add python-jsonschema-4.15.* gnu/packages/python-xyz.scm (python-json… [bug#57540] Add ocaml-elpi (a dependency of coq-mathcomp-analysis) - - - --- 2022-09-07 Garek Dyszel New
[bug#57540,RFC,v2,18/19] gnu: Add python-setuptools-scm-7.* gnu/packages/python.xyz.scm (python-set… [bug#57540] Add ocaml-elpi (a dependency of coq-mathcomp-analysis) - - - --- 2022-09-07 Garek Dyszel New
[bug#57540,RFC,v2,17/19] gnu: Add python-pluggy-1.0.* gnu/packages/python-xyz.scm (python-pluggy-1.… [bug#57540] Add ocaml-elpi (a dependency of coq-mathcomp-analysis) - - - --- 2022-09-07 Garek Dyszel New
[bug#57540,RFC,v2,16/19] gnu: Add python-editables.* gnu/packages/python-build.scm (python-editable… [bug#57540] Add ocaml-elpi (a dependency of coq-mathcomp-analysis) - - - --- 2022-09-07 Garek Dyszel New
[bug#57540,RFC,v2,15/19] gnu: Add python-pytest-icdiff.* gnu/packages/python-check.scm (python-pyte… [bug#57540] Add ocaml-elpi (a dependency of coq-mathcomp-analysis) - - - --- 2022-09-07 Garek Dyszel New
[bug#57540,RFC,v2,14/19] gnu: Add python-icdiff.* gnu/packages/python-xyz.scm (python-icdiff): New … [bug#57540] Add ocaml-elpi (a dependency of coq-mathcomp-analysis) - - - --- 2022-09-07 Garek Dyszel New
[bug#57540,RFC,v2,13/19] gnu: Add python-pprintpp.* gnu/packages/python-xyz.scm (python-pprintpp): … [bug#57540] Add ocaml-elpi (a dependency of coq-mathcomp-analysis) - - - --- 2022-09-07 Garek Dyszel New
[bug#57540,RFC,v2,12/19] gnu: Add python-hatch-fancy-pypi-readme.* gnu/packages/python-xyz.scm (pyt… [bug#57540] Add ocaml-elpi (a dependency of coq-mathcomp-analysis) - - - --- 2022-09-07 Garek Dyszel New
[bug#57540,RFC,v2,11/19] gnu: Add python-hatch-vcs.* gnu/packages/python-xyz.scm (python-hatch-vcs)… [bug#57540] Add ocaml-elpi (a dependency of coq-mathcomp-analysis) - - - --- 2022-09-07 Garek Dyszel New
[bug#57540,RFC,v2,10/19] gnu: Add python-hatchling.* gnu/packages/python-xyz.scm (python-hatchling)… [bug#57540] Add ocaml-elpi (a dependency of coq-mathcomp-analysis) - - - --- 2022-09-07 Garek Dyszel New
[bug#57540,RFC,v2,09/19] gnu: Add python-version.* gnu/packages/python-xyz.scm (python-version): Ne… [bug#57540] Add ocaml-elpi (a dependency of coq-mathcomp-analysis) - - - --- 2022-09-07 Garek Dyszel New
[bug#57540,RFC,v2,08/19] gnu: Add coq-mathcomp-analysis.* gnu/packages/coq.scm (coq-mathcomp-analys… [bug#57540] Add ocaml-elpi (a dependency of coq-mathcomp-analysis) - - - --- 2022-09-07 Garek Dyszel New
[bug#57540,RFC,v2,07/19] gnu: Add coq-mathcomp-bigenough.* gnu/packages/coq.scm (coq-mathcomp-bigen… [bug#57540] Add ocaml-elpi (a dependency of coq-mathcomp-analysis) - - - --- 2022-09-07 Garek Dyszel New
[bug#57540,RFC,v2,06/19] gnu: Add coq-mathcomp-finmap.* gnu/packages/coq.scm (coq-mathcomp-finmap):… Untitled series #2577 - - - --- 2022-09-07 Garek Dyszel New
[bug#57540,RFC,v2,05/19] gnu: Add coq-mathcomp-hierarchy-builder.* gnu/packages/coq.scm (coq-mathco… Untitled series #2576 - - - --- 2022-09-07 Garek Dyszel New
[bug#57540,RFC,v2,04/19] gnu: Add coq-elpi.* gnu/packages/coq.scm (coq-elpi): New variable. Untitled series #2575 - - - --- 2022-09-07 Garek Dyszel New
[bug#57540,RFC,v2,03/19] gnu: Add ocaml-ansiterminal.* gnu/packages/ocaml.scm (ocaml-ansiterminal):… Untitled series #2573 - - - --- 2022-09-07 Garek Dyszel New
[bug#57540,RFC,v2,02/19] gnu: Add ocaml-atd.* gnu/packages/ocaml.scm (ocaml-atd): New variable. Untitled series #2572 - - - --- 2022-09-07 Garek Dyszel New
[bug#57540,RFC,v2,01/19] gnu: Add ocaml-elpi. [bug#57540,RFC,v2,01/19] gnu: Add ocaml-elpi. - - - --- 2022-09-07 Garek Dyszel New
[bug#57540,6/6] gnu: Add coq-mathcomp-bigenough and coq-mathcomp-analysis. [bug#57540] Add ocaml-elpi (a dependency of coq-mathcomp-analysis) - - - --- 2022-09-02 Garek Dyszel New
[bug#57540,5/6] gnu: Add coq-mathcomp-finmap. [bug#57540] Add ocaml-elpi (a dependency of coq-mathcomp-analysis) - - - --- 2022-09-02 Garek Dyszel New
[bug#57540,4/6] gnu: Add coq-mathcomp-hierarchy-builder. [bug#57540] Add ocaml-elpi (a dependency of coq-mathcomp-analysis) - - - --- 2022-09-02 Garek Dyszel New
[bug#57540,3/6] gnu: Add coq-elpi. [bug#57540] Add ocaml-elpi (a dependency of coq-mathcomp-analysis) - - - --- 2022-09-02 Garek Dyszel New
[bug#57540,2/6] gnu: Add ocaml-ansiterminal. [bug#57540] Add ocaml-elpi (a dependency of coq-mathcomp-analysis) - - - --- 2022-09-02 Garek Dyszel New
[bug#57540,1/6] gnu: Add ocaml-atd. [bug#57540,1/6] gnu: Add ocaml-atd. - - - --- 2022-09-02 Garek Dyszel New
[bug#57540] Add ocaml-elpi (a dependency of coq-mathcomp-analysis) [bug#57540] Add ocaml-elpi (a dependency of coq-mathcomp-analysis) - - - --- 2022-09-02 Garek Dyszel New