bug#57540: Splitting into several packages instead

• [bug#57540] [PATCH 5/6] gnu: Add coq-mathcomp-finmap., (continued)
  • [bug#57540] [PATCH 5/6] gnu: Add coq-mathcomp-finmap., Garek Dyszel, 2022/09/02
  • [bug#57540] [PATCH 6/6] gnu: Add coq-mathcomp-bigenough and coq-mathcomp-analysis., Garek Dyszel, 2022/09/02
  • [bug#57540] [PATCH] Add ocaml-elpi (a dependency of coq-mathcomp-analysis), Julien Lepiller, 2022/09/03
    • [bug#57540] [PATCH] Add ocaml-elpi (a dependency of coq-mathcomp-analysis), Ludovic Courtès, 2022/09/24
      • [bug#57540] [PATCH] Add ocaml-elpi (a dependency of coq-mathcomp-analysis), Julien Lepiller, 2022/09/24
  • [bug#57540] [RFC PATCH v2 01/19] gnu: Add ocaml-elpi., Garek Dyszel, 2022/09/07
    • [bug#57540] [PATCH] Please rebase (was: Add ocaml-elpi (a dependency of coq-mathcomp-analysis)), zimoun, 2022/09/26
      • [bug#57540] [PATCH] Please rebase (was: Add ocaml-elpi (a dependency of coq-mathcomp-analysis)), Garek Dyszel, 2022/09/27
      • [bug#57540] [PATCH] Please rebase (was: Add ocaml-elpi (a dependency of coq-mathcomp-analysis)), Garek Dyszel, 2022/09/29
      • [bug#57540] [PATCH] Please rebase (was: Add ocaml-elpi (a dependency of coq-mathcomp-analysis)), Julien Lepiller, 2022/09/29
      • bug#57540: Splitting into several packages instead, Garek Dyszel <=
      • [bug#57540] [PATCH] Please rebase (was: Add ocaml-elpi (a dependency of coq-mathcomp-analysis)), Garek Dyszel, 2022/09/30
      • [bug#57540] [PATCH] Please rebase (was: Add ocaml-elpi (a dependency of coq-mathcomp-analysis)), zimoun, 2022/09/30
  • [bug#57540] [RFC PATCH v2 03/19] gnu: Add ocaml-ansiterminal.* gnu/packages/ocaml.scm (ocaml-ansiterminal): New variable., Garek Dyszel, 2022/09/07
  • [bug#57540] [RFC PATCH v2 04/19] gnu: Add coq-elpi.* gnu/packages/coq.scm (coq-elpi): New variable., Garek Dyszel, 2022/09/07
  • [bug#57540] [RFC PATCH v2 06/19] gnu: Add coq-mathcomp-finmap.* gnu/packages/coq.scm (coq-mathcomp-finmap): New variable., Garek Dyszel, 2022/09/07
  • [bug#57540] [RFC PATCH v2 02/19] gnu: Add ocaml-atd.* gnu/packages/ocaml.scm (ocaml-atd): New variable., Garek Dyszel, 2022/09/07
  • [bug#57540] [RFC PATCH v2 05/19] gnu: Add coq-mathcomp-hierarchy-builder.* gnu/packages/coq.scm (coq-mathcomp-hierarchy-builder): New variable., Garek Dyszel, 2022/09/07
  • [bug#57540] [RFC PATCH v2 09/19] gnu: Add python-version.* gnu/packages/python-xyz.scm (python-version): New variable., Garek Dyszel, 2022/09/07
  • [bug#57540] [RFC PATCH v2 07/19] gnu: Add coq-mathcomp-bigenough.* gnu/packages/coq.scm (coq-mathcomp-bigenough): New variable., Garek Dyszel, 2022/09/07
  • [bug#57540] [RFC PATCH v2 08/19] gnu: Add coq-mathcomp-analysis.* gnu/packages/coq.scm (coq-mathcomp-analysis): New variable., Garek Dyszel, 2022/09/07

• Prev by Date: [bug#57540] [PATCH] Please rebase (was: Add ocaml-elpi (a dependency of coq-mathcomp-analysis))
• Next by Date: [bug#57540] [PATCH] Please rebase (was: Add ocaml-elpi (a dependency of coq-mathcomp-analysis))
• Previous by thread: [bug#57540] [PATCH] Please rebase (was: Add ocaml-elpi (a dependency of coq-mathcomp-analysis))
• Next by thread: [bug#57540] [PATCH] Please rebase (was: Add ocaml-elpi (a dependency of coq-mathcomp-analysis))
• Index(es):
  • Date
  • Thread