issues
search
gfngfn
/
satysfi-external-repo
Custom OPAM repository for external libraries of SATySFi
4
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add `otfed.0.3.1`
#14
gfngfn
closed
10 months ago
0
Add `otfed.0.3.0`
#13
gfngfn
closed
10 months ago
0
Add `otfed.0.2.0`
#12
gfngfn
closed
1 year ago
0
Add `otfed.0.1.0`
#11
gfngfn
closed
1 year ago
0
Fix otfed.0.0.1
#10
gfngfn
closed
1 year ago
0
Add otfed.0.0.1
#9
gfngfn
closed
1 year ago
0
yojson-with-position.1.4.2+satysfi requires dune 2.0
#8
na4zagin3
closed
2 years ago
1
Remove Satyrographos.0.0.1.3
#7
na4zagin3
closed
1 year ago
1
add satyrographos.0.0.1.3
#6
na4zagin3
closed
5 years ago
2
Conflict with existing original packages
#5
nekketsuuu
opened
5 years ago
2
update to OPAM2 format
#4
nekketsuuu
closed
5 years ago
0
Use OPAM2 on CI
#3
nekketsuuu
closed
5 years ago
0
update maintainers
#2
nekketsuuu
closed
5 years ago
0
add satysfi.0.0.3
#1
na4zagin3
closed
4 years ago
6