Skip to content

Commit

Permalink
Update for a 1.8 release
Browse files Browse the repository at this point in the history
  • Loading branch information
antoinemine committed Mar 29, 2019
1 parent 9ab3443 commit 557480d
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 2 deletions.
5 changes: 5 additions & 0 deletions Changes
Original file line number Diff line number Diff line change
@@ -1,3 +1,8 @@
Release 1.8 (2019-03-30):
- Request #20: infix comparison operators for Q and Z [Max Mouratov]
- Request #39: gdc(x,0) = gcd(0,x) = x [Vincent Laporte]
- Request #41: support for upcoming OCaml 4.08 [Daniel Hillerström]
- Issue #17: add package zarith.top with REPL printer [Christophe Troestler]
- Issue #22: wrong stack marking directive in caml_z_x86_64_mingw64.S
[Bernhard Schommer]
- Issue #24: generate and install .cmti files for easy access to documentation
Expand Down
4 changes: 2 additions & 2 deletions META
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
description = "Arbitrary precision integers"
requires = ""
version = "1.5"
version = "1.8"
archive(byte) = "zarith.cma"
archive(native) = "zarith.cmxa"

package "top" (
version = "1.5"
version = "1.8"
description = "ZArith toplevel support"
requires = "zarith"
archive(byte) = "zarith_top.cma"
Expand Down

0 comments on commit 557480d

Please sign in to comment.