Skip to content

Releases: dune-universe/Zarith

1.13+dune

05 Nov 17:17
@tmattio tmattio
v1.13+dune
82de3e1
Compare
Choose a tag to compare
1.13+dune Latest
Latest

CHANGES:

  • PR #1: dunify the package and allow the cross-compilation via opam monorepo
    [Romain Calascibetta, Lucas Pluvinage, Thomas Gazagnaire]
Assets 3
Loading

1.12+dune

01 Apr 11:12
@samoht samoht
1.12+dune
512da67
Compare
Choose a tag to compare
1.12+dune

CHANGES:

  • PR #1: dunify the package and allow the cross-compilation via opam monorepo
    [Romain Calascibetta, Lucas Pluvinage, Thomas Gazagnaire]
Assets 3
Loading