Skip to content
This repository has been archived by the owner on Jul 1, 2022. It is now read-only.

Releases: oscar-system/LoadFlint.jl

v0.6.4

20 Nov 11:22
93bec0f
Compare
Choose a tag to compare

LoadFlint v0.6.4

Diff since v0.6.3

Merged pull requests:

v0.6.3

05 Nov 17:32
0c0f20f
Compare
Choose a tag to compare

LoadFlint v0.6.3

Diff since v0.6.2

Merged pull requests:

v0.6.2

16 Oct 19:19
bc9755e
Compare
Choose a tag to compare

LoadFlint v0.6.2

Diff since v0.6.1

Merged pull requests:

v0.6.1

03 Aug 19:55
cc5e99c
Compare
Choose a tag to compare

LoadFlint v0.6.1

Diff since v0.6.0

Merged pull requests:

v0.6.0

29 Jul 17:47
4ae6f68
Compare
Choose a tag to compare

LoadFlint v0.6.0

Diff since v0.5.1

Merged pull requests:

  • Set package author to "OSCAR team", add AUTHORS.md (#22) (@fingolfin)
  • Add new flint version and bump version (#23) (@thofma)

v0.5.1

12 Mar 10:43
Compare
Choose a tag to compare

LoadFlint v0.5.1

Diff since v0.5.0

Merged pull requests:

v0.5.0

20 Dec 18:35
Compare
Choose a tag to compare

LoadFlint v0.5.0

Diff since v0.4.0

Merged pull requests:

  • Add FLINT_jll 200.700.0 and bump version to 0.5.0 (#20) (@thofma)

v0.4.0

11 Dec 14:33
Compare
Choose a tag to compare

LoadFlint v0.4.0

Diff since v0.3.4

Closed issues:

  • Compat entries for next version (#15)
  • Tests fail in Julia 1.0 (#16)

Merged pull requests:

v0.3.4

21 Oct 08:06
3b70509
Compare
Choose a tag to compare

LoadFlint v0.3.4

Diff since v0.3.3

v0.3.3

12 Aug 19:03
Compare
Choose a tag to compare

LoadFlint v0.3.3

Diff since v0.3.2

Merged pull requests: