Show patches with: Series = [bug#57540] Add ocaml-elpi (a dependency of coq-mathcomp-analysis)       |    Archived = No       |   19 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[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) - - - 4-- 2022-09-07 Garek Dyszel Accepted
[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) - - - 4-- 2022-09-07 Garek Dyszel Accepted
[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) - - - 4-- 2022-09-07 Garek Dyszel Accepted
[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) - - - 4-- 2022-09-07 Garek Dyszel Accepted
[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) - - - 4-- 2022-09-07 Garek Dyszel Accepted
[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) - - - 4-- 2022-09-07 Garek Dyszel Accepted
[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) - - - 4-- 2022-09-07 Garek Dyszel Accepted
[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) - - - 4-- 2022-09-07 Garek Dyszel Accepted
[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) - - - 4-- 2022-09-07 Garek Dyszel Accepted
[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) - - - 4-- 2022-09-07 Garek Dyszel Accepted
[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) - - - 4-- 2022-09-07 Garek Dyszel Accepted
[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) - - - 3-1 2022-09-07 Garek Dyszel Accepted
[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) - - - 3-1 2022-09-07 Garek Dyszel Accepted
[bug#57540,6/6] gnu: Add coq-mathcomp-bigenough and coq-mathcomp-analysis. [bug#57540] Add ocaml-elpi (a dependency of coq-mathcomp-analysis) - - - 3-1 2022-09-02 Garek Dyszel Accepted
[bug#57540,5/6] gnu: Add coq-mathcomp-finmap. [bug#57540] Add ocaml-elpi (a dependency of coq-mathcomp-analysis) - - - 3-1 2022-09-02 Garek Dyszel Accepted
[bug#57540,4/6] gnu: Add coq-mathcomp-hierarchy-builder. [bug#57540] Add ocaml-elpi (a dependency of coq-mathcomp-analysis) - - - 3-1 2022-09-02 Garek Dyszel Accepted
[bug#57540,3/6] gnu: Add coq-elpi. [bug#57540] Add ocaml-elpi (a dependency of coq-mathcomp-analysis) - - - 3-1 2022-09-02 Garek Dyszel Accepted
[bug#57540,2/6] gnu: Add ocaml-ansiterminal. [bug#57540] Add ocaml-elpi (a dependency of coq-mathcomp-analysis) - - - 3-1 2022-09-02 Garek Dyszel Accepted
[bug#57540] Add ocaml-elpi (a dependency of coq-mathcomp-analysis) [bug#57540] Add ocaml-elpi (a dependency of coq-mathcomp-analysis) - - - 3-1 2022-09-02 Garek Dyszel Accepted