aballier ml-overlay issues

aballier / ml-overlay

7 stars 6 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Error: /usr/lib64/ocaml/big_int.cmi is not a compiled interface for this version of OCaml.

#17 hungshihhan closed 3 years ago
1
Files make inconsistent assumptions over implementation

#16 hungshihhan closed 3 years ago
0
dev-ml/cairo2-0.6.1-r2 failed: Error: Library "dune.configurator" not found.

#15 hungshihhan closed 3 years ago
1
Fix a typo

#14 XVilka closed 4 years ago
0
dev-ml/utop-2.5.0: Error on dynamically loaded library: /home/xvilka/.opam/ocaml-system/lib/stublibs/dlllwt_unix_stubs.so: /home/xvilka/.opam/ocaml-system/lib/stublibs/dlllwt_unix_stubs.so: undefined symbol: caml_local_roots

#13 XVilka closed 4 years ago
2
add missing deps for dev-ml/cairo2

#12 hungshihhan closed 4 years ago
0
dev-ml/yojson: Error: Syntax error: 'end' expected

#11 Dr-Terrible closed 4 years ago
0
dev-ml/opam-2.0.6 - inconsistent assumptions over implementation Graph

#10 XVilka closed 4 years ago
1
Add `dune-configurator` dependency to the dev-ml/lwt package

#9 XVilka closed 4 years ago
0
dev-ml/lablgtk-2.18.8 checking lablGL directory... configure: error: gtkgl enforced but lablGL not found

#8 XVilka closed 5 years ago
6
blocking problem for dev-ml/opam-2.0.5

#7 XVilka closed 5 years ago
1
sci-mathematics/coq-8.10_beta2: Num library not installed, required for OCaml 4.06 or later

#6 XVilka closed 5 years ago
1
add lablgtk3-sourceview3 dependency for coqide

#5 hungshihhan closed 5 years ago
0
LablGtk3 not found: => cannot build requested CoqIde

#4 hungshihhan closed 5 years ago
1
Issues installing opam in gentoo-prefix

#3 Chobbes closed 5 years ago
2
repositories.xml

#2 sheerluck closed 6 years ago
1
Add layman XML file.

#1 Lucretia closed 6 years ago
2