This repository has been archived by the owner on Jul 1, 2022. It is now read-only.
Releases: oscar-system/LoadFlint.jl
Releases · oscar-system/LoadFlint.jl
v0.6.4
v0.6.3
v0.6.2
v0.6.1
v0.6.0
LoadFlint v0.6.0
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
LoadFlint v0.5.1
Merged pull requests:
v0.5.0
LoadFlint v0.5.0
Merged pull requests:
v0.4.0
LoadFlint v0.4.0
Closed issues:
Merged pull requests:
- add CI github actions and remove .travis.yml (#13) (@rfourquet)
- CI: use actions/checkout@v2, reformat (#14) (@fingolfin)
- Prepare for for 200.690.0 (#17) (@thofma)
v0.3.4
LoadFlint v0.3.4
v0.3.3
LoadFlint v0.3.3
Merged pull requests: