Code

release monae 0.9.0#3356

Code

Merged

palmskog merged 2 commits intocoq:mastercoq/opam:masterfrom affeldt-aist:monae.0.9.0affeldt-aist/opam-coq-archive:monae.0.9.0Copy head branch name to clipboardFeb 26, 2025

Commits

Commits on Feb 25, 2025

• release monae 0.9.0

  affeldt-aist

  committed
  fe6172d

  Copy full SHA for fe6172d

Commits on Feb 26, 2025

• Update released/packages/coq-monae/coq-monae.0.9.0/opam

  Show description for 4fbfa5f
  

  affeldt-aist

  and

  silene

  authored
  4fbfa5f

  Copy full SHA for 4fbfa5f