Code

Make Tactician depend on coq-core#2315

Code

Merged

palmskog merged 2 commits intocoq:mastercoq/opam:masterfrom LasseBlaauwbroek:tactician-depend-coreLasseBlaauwbroek/opam-coq-archive:tactician-depend-coreCopy head branch name to clipboardOct 25, 2022

+108-110

Commits

Commits on Oct 22, 2022

• Make Tactician depend on coq-core

  LasseBlaauwbroek

  committed
  13fd839

  Copy full SHA for 13fd839

• Fixup 8.10-8.16 coq-tactician packages with coq-tactician-dummy version split

  LasseBlaauwbroek

  committed
  b8dc354

  Copy full SHA for b8dc354