Code

Add coq-freesim 1.0.0#2728

Code

Merged

palmskog merged 4 commits intocoq:mastercoq/opam:masterfrom alxest:coq-freesimalxest/opam:coq-freesimCopy head branch name to clipboardSep 19, 2023

+47

Commits

Commits on Sep 17, 2023

• Release coq-freesim 1.0.0

  alxest

  committed
  4dc4602

• Fix issues

  alxest

  committed
  9e467d0

• Tweak

  alxest

  committed
  ea1cf12

Commits on Sep 19, 2023

• Update released/packages/coq-freesim/coq-freesim.1.0.0/opam

  palmskog

  authored
  dded13d