Skip to content

Commit

Permalink
Changes for 0.3.3
Browse files Browse the repository at this point in the history
bobot committed Oct 23, 2023
1 parent 4e6cc35 commit 4099a52
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions CHANGES
Original file line number Diff line number Diff line change
@@ -1,3 +1,6 @@
## Release 0.3.3 ##
- Fix library name for archlinux: arb instead of flint-arb

## Release 0.3.2 ##
- Bump to dune 3.7 using ctypes stanza 0.3

0 comments on commit 4099a52

Please sign in to comment.