issues
search
bobot
/
ocaml-flint
GNU Lesser General Public License v2.1
5
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bump to Flint3
#8
bobot
closed
2 months ago
0
Adjust build sys for flintv3 (and also archlinux)
#7
Gbury
opened
11 months ago
4
Fix build on archlinux
#6
Gbury
closed
11 months ago
1
Add qqbar from_roots and from_enclosure
#5
bobot
closed
1 year ago
0
Fix build on macos
#4
mseri
closed
1 year ago
1
[macOS] copy .dylib into .so
#3
correnson
closed
1 year ago
0
Allow passing custom library prefix
#2
mseri
opened
2 years ago
6
Add github action
#1
bobot
closed
2 years ago
0