Skip to content

Instantly share code, notes, and snippets.

@Octachron
Last active September 27, 2017 14:31
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save Octachron/e9691b3ea1c43463730349f806894050 to your computer and use it in GitHub Desktop.
Save Octachron/e9691b3ea1c43463730349f806894050 to your computer and use it in GitHub Desktop.

Resume

  • Tested: 1483
    • Failure: 1
    • Success: 1482
  • Untested: 221
    • Not installable: 78
    • Missing external dependencies: 74
    • Other issues: 69

Tested

Failure:

  • earley

Success:

  • 0install
  • abella
  • acme
  • acpc
  • aez
  • afl-persistent
  • ago
  • agrep
  • aifad
  • aio
  • alba
  • alcotest
  • alcotest-async
  • alcotest-lwt
  • aliases
  • alphaCaml
  • alsa
  • alt-ergo
  • altgr-ergo
  • amqp-client
  • angstrom
  • angstrom-async
  • angstrom-lwt-unix
  • angstrom-unix
  • annexlib
  • annot
  • ansicolor
  • ANSITerminal
  • anycache
  • anycache-async
  • anycache-lwt
  • ao
  • apalogretrieve
  • aperf
  • apron
  • archimedes
  • argon2
  • arp
  • ascii85
  • asetmap
  • asl
  • asn1-combinators
  • assertions
  • assimp
  • astring
  • async
  • async-zmq
  • async_extended
  • async_extra
  • async_find
  • async_graphics
  • async_inotify
  • async_interactive
  • async_js
  • async_kernel
  • async_parallel
  • async_rpc_kernel
  • async_shell
  • async_smtp
  • async_ssl
  • async_unix
  • atd
  • atd2cconv
  • atdgen
  • atdj
  • aws
  • aws-autoscaling
  • aws-cloudformation
  • aws-cloudtrail
  • aws-ec2
  • aws-elasticloadbalancing
  • aws-sdb
  • aws-ssm
  • aws-sts
  • bamboo
  • bap-abi
  • bap-api
  • bap-beagle
  • bap-byteweight
  • bap-byteweight-frontend
  • bap-c
  • bap-cache
  • bap-callsites
  • bap-cxxfilt
  • bap-dead-code-elimination
  • bap-demangle
  • bap-dump-symbols
  • bap-dwarf
  • bap-elf
  • bap-frames
  • bap-frontc
  • bap-frontend
  • bap-future
  • bap-mc
  • bap-microx
  • bap-objdump
  • bap-phoenix
  • bap-piqi
  • bap-primus
  • bap-primus-lisp
  • bap-primus-support
  • bap-print
  • bap-relocatable
  • bap-run
  • bap-saluki
  • bap-signatures
  • bap-ssa
  • bap-std
  • bap-strings
  • bap-symbol-reader
  • bap-taint
  • bap-taint-propagator
  • bap-term-mapper
  • bap-trace
  • bap-traces
  • bap-warn-unused
  • base
  • base-bigarray
  • base-bytes
  • base-native-int63
  • base-num
  • base-threads
  • base-unix
  • base58
  • base64
  • batteries
  • bau
  • bdd
  • bddapron
  • bear
  • beluga
  • bench
  • benchmark
  • bencode
  • bencode_rpc
  • bes
  • BetterErrors
  • bheap
  • bibtex2html
  • bignum
  • bigstring
  • bin_prot
  • bindlib
  • biniou
  • biocaml
  • bisect
  • bisect-summary
  • bisect_ppx
  • bisect_ppx-ocamlbuild
  • bitcoin
  • bitcoinml
  • bitmasks
  • bitstring
  • bitv
  • bjack
  • blahcaml
  • bolt
  • bookaml
  • boomerang
  • bos
  • bpf
  • bsdowl
  • bson
  • bulletml
  • c3
  • cairo
  • cairo2
  • calculon
  • calendar
  • callipyge
  • caml-mode
  • caml2html
  • camlbz2
  • Camldiets
  • camldm
  • CamlGI
  • camlgpc
  • camlidl
  • camlimages
  • camllib
  • camlmix
  • camlon
  • camlp4
  • camlpdf
  • camlprime
  • camltc
  • camltemplate
  • camlzip
  • camomile
  • capnp
  • capnp-rpc
  • captureio
  • caradoc
  • cbor
  • cconv
  • ccss
  • cdrom
  • cfg
  • cfgen
  • cfstream
  • cgi
  • cgroups
  • chamo
  • channel
  • charrua-client
  • charrua-client-lwt
  • charrua-client-mirage
  • charrua-core
  • choice
  • cil
  • cinaps
  • clarity
  • cloudi
  • cmark
  • cmdliner
  • cmdtui
  • cmdtui-lambda-term
  • cmitomli
  • coclobas
  • codept
  • cohttp
  • cohttp-async
  • cohttp-lwt
  • cohttp-lwt-jsoo
  • cohttp-lwt-unix
  • cohttp-top
  • combine
  • command_rpc
  • commonjs_of_ocaml
  • conduit
  • conduit-async
  • conduit-lwt
  • conduit-lwt-unix
  • conex
  • conf-aclocal
  • conf-autoconf
  • conf-binutils
  • conf-blas
  • conf-bmake
  • conf-boost
  • conf-cairo
  • conf-cmake
  • conf-emacs
  • conf-env-travis
  • conf-expat
  • conf-glade
  • conf-glew
  • conf-glib-2
  • conf-glpk
  • conf-gmp
  • conf-gmp-powm-sec
  • conf-gnuplot
  • conf-gnutls
  • conf-graphviz
  • conf-gsl
  • conf-gssapi
  • conf-gtksourceview
  • conf-lapack
  • conf-libcurl
  • conf-libev
  • conf-libffi
  • conf-libMagickCore
  • conf-libpcre
  • conf-libpng
  • conf-libsodium
  • conf-libuv
  • conf-linux-libc-dev
  • conf-lua
  • conf-m4
  • conf-mpfr
  • conf-mpi
  • conf-mysql
  • conf-ncurses
  • conf-openssl
  • conf-perl
  • conf-pkg-config
  • conf-python-2-7
  • conf-python-2-7-dev
  • conf-qt
  • conf-sdl-image
  • conf-sdl-mixer
  • conf-sdl-ttf
  • conf-sdl2
  • conf-sdl2-image
  • conf-sdl2-mixer
  • conf-sdl2-ttf
  • conf-secp256k1
  • conf-tcl
  • conf-time
  • conf-tk
  • conf-vim
  • conf-wget
  • conf-which
  • conf-wxwidgets
  • conf-zlib
  • conf-zmq
  • config-file
  • configurator
  • containers
  • cookie-js
  • coq-shell
  • cordova
  • cordova-plugin-activity-indicator
  • cordova-plugin-background-mode
  • cordova-plugin-barcode-scanner
  • cordova-plugin-battery-status
  • cordova-plugin-camera
  • cordova-plugin-clipboard
  • cordova-plugin-datepicker
  • cordova-plugin-device
  • cordova-plugin-device-motion
  • cordova-plugin-device-orientation
  • cordova-plugin-dialogs
  • cordova-plugin-email-composer
  • cordova-plugin-fcm
  • cordova-plugin-file
  • cordova-plugin-file-opener
  • cordova-plugin-file-transfer
  • cordova-plugin-geolocation
  • cordova-plugin-globalization
  • cordova-plugin-image-picker
  • cordova-plugin-inappbrowser
  • cordova-plugin-insomnia
  • cordova-plugin-keyboard
  • cordova-plugin-loading-spinner
  • cordova-plugin-local-notifications
  • cordova-plugin-media
  • cordova-plugin-media-capture
  • cordova-plugin-network-information
  • cordova-plugin-progress
  • cordova-plugin-push-notifications
  • cordova-plugin-qrscanner
  • cordova-plugin-screen-orientation
  • cordova-plugin-sim-card
  • cordova-plugin-sms
  • cordova-plugin-social-sharing
  • cordova-plugin-statusbar
  • cordova-plugin-toast
  • cordova-plugin-touch-id
  • cordova-plugin-vibration
  • cordova-plugin-videoplayer
  • core
  • core-lwt
  • core_kernel
  • corecount
  • cow
  • cowabloga
  • cpdf
  • cpm
  • cppo
  • cppo_ocamlbuild
  • cpuid
  • crc
  • crdt-ml
  • crunch
  • cry
  • crypt
  • cryptgps
  • cryptohash
  • cryptokit
  • cstruct
  • cstruct-async
  • cstruct-lwt
  • cstruct-unix
  • csv
  • csv-lwt
  • csvfields
  • ctypes
  • ctypes-build
  • ctypes-foreign
  • cubicle
  • cudf
  • curly
  • d3
  • daft
  • datakit
  • datakit-bridge-github
  • datakit-bridge-local-git
  • datakit-ci
  • datakit-client
  • datakit-client-9p
  • datakit-client-git
  • datakit-github
  • datakit-server
  • datakit-server-9p
  • datalog
  • dbforge
  • dbm
  • dead_code_analyzer
  • debian-formats
  • decompress
  • delimcc
  • depext
  • depgraph
  • depyt
  • deriving
  • deriving-yojson
  • devkit
  • dht
  • digestif
  • dispatch
  • dispatch-js
  • distributed
  • distwit
  • diy
  • dlist
  • dns
  • dns-async
  • dns-forward
  • dns-forward-lwt-unix
  • dns-lwt
  • dns-lwt-unix
  • dnssd
  • doc-ock
  • doc-ock-html
  • doc-ock-xml
  • docker-api
  • dockerfile
  • dockerfile-opam
  • docout
  • dog
  • dolmen
  • dolog
  • dose
  • dose3
  • DrawGrammar
  • dropbox
  • dsfo
  • dtoa
  • dtools
  • dum
  • duppy
  • duration
  • dyntype
  • dypgen
  • easy-format
  • ecaml
  • edn
  • efl
  • eigen
  • electrumAnalyzer
  • elf2json
  • eliom
  • email_message
  • emoji
  • enumerators
  • erm_xml
  • erm_xmpp
  • estring
  • exenum
  • exn-source
  • expect
  • expect_test_helpers
  • expect_test_helpers_kernel
  • extlib
  • extlib-compat
  • extprot
  • extunix
  • ezirmin
  • ezjsonm
  • ezjsonm-lwt
  • ezsqlite
  • ezxenstore
  • ezxmlm
  • faad
  • facile
  • faillib
  • faraday
  • faraday-async
  • faraday-lwt
  • faraday-lwt-unix
  • farfadet
  • farmhash
  • fat-filesystem
  • fd-send-recv
  • fdkaac
  • fftw3
  • fieldslib
  • fileutils
  • fix
  • flac
  • flock
  • flow_parser
  • flowcaml
  • flowtype
  • fluent-logger
  • fm-simplex-plugin
  • fmt
  • forkwork
  • format
  • fpath
  • frag
  • frama-c-base
  • frama-c-e-acsl
  • freetennis
  • frei0r
  • FrontC
  • bap-veri
  • brotli
  • coccinelle
  • conf-bap-llvm
  • conf-brotli
  • conf-ftgl
  • conf-gnomecanvas
  • conf-leveldb
  • conf-libgsasl
  • conf-libmosquitto
  • conf-llvm
  • conf-nanomsg
  • conf-ode
  • conf-openbabel
  • conf-ppl
  • conf-sdl-gfx
  • conf-sdl-net
  • conf-sdl2-net
  • conf-sfml2
  • dnscurve
  • dssi
  • frama-c
  • frenetic
  • fstreams
  • ftp
  • functoria
  • functoria-runtime
  • functory
  • fury-puyo
  • gadelac
  • gamepad
  • gapi-ocaml
  • gavl
  • gdal
  • gedcom
  • gen
  • gen-bs
  • gen_js_api
  • gen_server
  • General
  • genspio
  • genspir
  • geoip
  • get_line
  • getopt
  • gettext
  • gg
  • git
  • git-mirage
  • git-unix
  • github
  • github-jsoo
  • github-unix
  • gles3
  • glical
  • glpk
  • glsurf
  • gmp-xen
  • gnuplot
  • google-drive-ocamlfuse
  • gperftools
  • gpr
  • gpx
  • graphics
  • graphicspdf
  • graphql
  • graphql-async
  • graphql_parser
  • grenier
  • gsl
  • gstreamer
  • gtktop
  • gxl-light
  • hamt
  • hardcaml
  • hardcaml-affirm
  • hardcaml-bloop
  • hardcaml-framework
  • hardcaml-llvmsim
  • hardcaml-reedsolomon
  • hardcaml-waveterm
  • hardcaml-yosys
  • hashcons
  • hashids
  • hashset
  • hdf5
  • headache
  • heptagon
  • herdtools7
  • herelib
  • hevea
  • hex
  • higher
  • higlo
  • hiredis
  • hkdf
  • hlarp
  • hll
  • hmap
  • http2https
  • http_router
  • humane-re
  • hvsock
  • hweak
  • hydra
  • i2c
  • i3ipc
  • igvxml
  • imagelib
  • imagemagick
  • imap
  • incr_dom
  • incr_map
  • incr_select
  • incremental
  • incremental_kernel
  • indexmap
  • inotify
  • inspect
  • integers
  • integration1d
  • interval
  • inuit
  • io
  • io-page
  • io-page-unix
  • iocaml
  • iocaml-kernel
  • iocamljs-kernel
  • ipaddr
  • ipv6-multicast
  • irc-client
  • iri
  • irmin
  • irmin-chunk
  • irmin-fs
  • irmin-git
  • irmin-http
  • irmin-indexeddb
  • irmin-mem
  • irmin-mirage
  • irmin-watcher
  • ISO8601
  • itv-tree
  • jane-street-headers
  • javalib
  • jbuilder
  • jekyll-format
  • jenga
  • jhupllib
  • jingoo
  • js-build-tools
  • js_of_ocaml
  • js_of_ocaml-camlp4
  • js_of_ocaml-compiler
  • js_of_ocaml-ocamlbuild
  • js_of_ocaml-ppx
  • js_of_ocaml-toplevel
  • js_of_ocaml-tyxml
  • JsOfOCairo
  • json-pointer
  • json-predicate
  • json-static
  • json-wheel
  • json-wheel_jane_street_overlay
  • jsondiff
  • jsonm
  • jsoo_broadcastchannel
  • jsoo_router
  • junit
  • jwt
  • kaputt
  • KaSim
  • ketrew
  • key-parsers
  • kinetic-client
  • lablgl
  • lablgtk
  • lablgtk-extras
  • lablqml
  • lacaml
  • lacc
  • ladspa
  • lambda-term
  • lambdasoup
  • lame
  • landmarks
  • lazy-trie
  • lens
  • leveldb
  • levenshtein
  • libevent
  • libssh
  • libsvm
  • libudev
  • linenoise
  • linkage
  • links
  • lipsum
  • liquidsoap
  • liquidsoap-daemon
  • llvm
  • llvmgraph
  • logs
  • lru
  • lwt
  • lwt-zmq
  • magic-mime
  • magic
  • maildir
  • maki
  • mariadb
  • markup
  • mccs
  • mechaml
  • memcpy
  • menhir
  • mergeable-vector
  • merlin
  • merlin-acme
  • merlin-extend
  • merlin-of-pds
  • mesh
  • message-switch
  • mezzo
  • mikmatch
  • mindstorm
  • minicli
  • minilight
  • minima-theme
  • minios-xen
  • minisat
  • minivpt
  • mirage
  • mirage-block
  • mirage-block-ccm
  • mirage-block-lwt
  • mirage-block-ramdisk
  • mirage-block-unix
  • mirage-btrees
  • mirage-channel
  • mirage-channel-lwt
  • mirage-clock
  • mirage-clock-freestanding
  • mirage-clock-lwt
  • mirage-clock-unix
  • mirage-clock-xen
  • mirage-console
  • mirage-console-lwt
  • mirage-console-unix
  • mirage-console-xen-proto
  • mirage-device
  • mirage-dns
  • mirage-entropy
  • mirage-entropy-unix
  • mirage-entropy-xen
  • mirage-flow
  • mirage-fs
  • mirage-fs-lwt
  • mirage-fs-unix
  • mirage-kv
  • mirage-kv-lwt
  • mirage-logs
  • mirage-net
  • mirage-net-lwt
  • mirage-net-socket
  • mirage-net-unix
  • mirage-no-solo5
  • mirage-no-xen
  • mirage-os-shim
  • mirage-profile
  • mirage-profile-unix
  • mirage-protocols
  • mirage-protocols-lwt
  • mirage-random
  • mirage-runtime
  • mirage-seal
  • mirage-stack
  • mirage-stack-lwt
  • mirage-tc
  • mirage-time
  • mirage-time-lwt
  • mirage-time-unix
  • mirage-types
  • mirage-types-lwt
  • mirage-unix
  • mirage-xen-minios
  • mirage-xen-posix
  • mirari
  • mirror
  • missinglib
  • misuja
  • mkaudio
  • mlbdd
  • mlcuddidl
  • mld
  • mldonkey
  • mlgmp
  • mlgmpidl
  • mlpost
  • mm
  • mmseg
  • monadlib
  • monads
  • mongo
  • monomorphic
  • more-ocaml
  • mosquitto
  • moss
  • mparser
  • mpp
  • mpris
  • mqtt
  • mqtt_client
  • msat
  • msgpack
  • msgpck
  • mstruct
  • mtime
  • mtl
  • multipart-form-data
  • mustache
  • mvar
  • mybuild
  • mysql
  • mysql_protocol
  • named-pipe
  • namespaces
  • nebula
  • netlink
  • netml
  • nit
  • nlp
  • nocrypto
  • nonstd
  • nosetup
  • notty
  • nproc
  • npy
  • nullable-array
  • num
  • nunchaku
  • oasis
  • oasis2opam
  • obandit
  • obelisk
  • objsize
  • obuild
  • obus
  • obytelib
  • ocal
  • ocaml-arg
  • ocaml-aspell
  • ocaml-basics
  • ocaml-compiler-libs
  • ocaml-data-notation
  • ocaml-expat
  • ocaml-http
  • ocaml-inifiles
  • ocaml-makefile
  • ocaml-manual
  • ocaml-migrate-parsetree
  • ocaml-migrate-parsetree-ocamlbuild
  • ocaml-monadic
  • ocaml-protoc
  • ocaml-protoc-yojson
  • ocaml-sat-solvers
  • ocaml-systemd
  • ocaml-top
  • ocaml-topexpect
  • ocaml-twt
  • ocaml-xdg-basedir
  • ocaml9p
  • ocaml_plugin
  • ocamlbuild
  • ocamlbuild-atdgen
  • ocamlbuild-pkg
  • ocamlbuild-protoc
  • ocamlclean
  • ocamldap
  • ocamldbi
  • ocamldiff
  • ocamldot
  • ocamldsort
  • ocamlfind
  • ocamlfind-lint
  • ocamlfuse
  • ocamlgraph
  • ocamlify
  • ocamlmod
  • ocamlnet
  • ocamlpp
  • ocamlrss
  • ocamlscript
  • ocamlsdl
  • ocamlspot
  • ocamlviz
  • ocamlwc
  • ocamlweb
  • ocb-stubblr
  • ocephes
  • ocf
  • oclaunch
  • oclock
  • ocp-browser
  • ocp-build
  • ocp-indent
  • ocp-index
  • ocp-index-top
  • ocp-ocamlres
  • ocp-pack-split
  • ocp-pp
  • ocplib-compat
  • ocplib-config
  • ocplib-endian
  • ocplib-file
  • ocplib-json-typed
  • ocplib-resto
  • ocplib-simplex
  • ocs
  • ocsigen-i18n
  • ocsigen-start
  • ocsigen-toolkit
  • ocsigenserver
  • octavius
  • ocurl
  • ocveralls
  • odate
  • odb-server
  • odbc
  • odds
  • odiff-gtk
  • odig
  • odisco
  • odoc
  • odoc-depgraph
  • ofx
  • ogen
  • ogg
  • ogre
  • olinq
  • ollvm
  • ollvm-tapir
  • olmi
  • omd
  • oml
  • omonad
  • oolc
  • opal
  • opam-build-revdeps
  • opam-client
  • opam-core
  • opam-devel
  • opam-file-format
  • opam-format
  • opam-lib
  • opam-package-upgrade
  • opam-publish
  • opam-query
  • opam-repository
  • opam-solver
  • opam-state
  • opam-sync-github-prs
  • opam2web
  • opam_of_packagejson
  • opamconfig
  • opamfu
  • opass
  • opasswd
  • opencc
  • openflow
  • operf-micro
  • opium_kernel
  • oplay
  • optcomp
  • optimization1d
  • opus
  • oqamldebug
  • orakuda
  • orec
  • orm
  • osc
  • osm_xml
  • ospec
  • otfm
  • oth
  • otr
  • ott
  • otto
  • ounit
  • owebl
  • owee
  • pa_comprehension
  • pa_monad_custom
  • pa_ovisitor
  • pa_qualified
  • pa_solution
  • pa_where
  • packet
  • parany
  • pareto
  • parmap
  • parse-argv
  • parsexp
  • parsexp_io
  • patdiff
  • patience_diff
  • pbkdf
  • pbs
  • pcap-format
  • pcf-format
  • pci
  • pci-db
  • pcre
  • pds
  • pds-reachability
  • pgocaml
  • pgsolver
  • pipebang
  • piqi
  • piqilib
  • pkcs11
  • pla
  • planck
  • podge
  • polyglot
  • pomap
  • portaudio
  • portia
  • posix-clock
  • posix-getopt
  • posix-math
  • posix-mqueue
  • posix-semaphore
  • posix-time
  • posix-types
  • posixat
  • pprint
  • ppx_assert
  • ppx_ast
  • ppx_base
  • ppx_bench
  • ppx_bigarray
  • ppx_bin_prot
  • ppx_bitstring
  • ppx_blob
  • ppx_compare
  • ppx_compose
  • ppx_const
  • ppx_conv_func
  • ppx_core
  • ppx_cstruct
  • ppx_csv_conv
  • ppx_custom_printf
  • ppx_defer
  • ppx_derivers
  • ppx_deriving
  • ppx_deriving_cmdliner
  • ppx_deriving_hardcaml
  • ppx_deriving_morphism
  • ppx_deriving_protobuf
  • ppx_deriving_yojson
  • ppx_distr_guards
  • ppx_dotbracket
  • ppx_driver
  • ppx_enumerate
  • ppx_expect
  • ppx_fail
  • ppx_fields_conv
  • ppx_fun
  • ppx_getenv
  • ppx_graphql
  • ppx_hardcaml
  • ppx_hash
  • ppx_here
  • ppx_implicits
  • ppx_import
  • ppx_include
  • ppx_indexop
  • ppx_inline_test
  • ppx_jane
  • ppx_js_style
  • ppx_jsobject_conv
  • ppx_let
  • ppx_listlike
  • ppx_meta_conv
  • ppx_metaquot
  • ppx_monadic
  • ppx_monoid
  • ppx_netblob
  • ppx_optcomp
  • ppx_optional
  • ppx_orakuda
  • ppx_pipebang
  • ppx_poly_record
  • ppx_regexp
  • ppx_sexp_conv
  • ppx_sexp_message
  • ppx_sexp_value
  • ppx_test
  • ppx_tools
  • ppx_tools_versioned
  • ppx_traverse
  • ppx_traverse_builtins
  • ppx_type_conv
  • ppx_typerep_conv
  • ppx_variants_conv
  • ppx_view
  • ppx_xml_conv
  • ppxx
  • primes
  • printbox
  • process
  • procord
  • prof_spacetime
  • profiler-plugin
  • profound
  • promela
  • prometheus
  • prometheus-app
  • proverif
  • psq
  • ptime
  • ptmap
  • ptset
  • publish
  • pulseaudio
  • pumping
  • pvem
  • pvem_lwt_unix
  • pxp
  • pyml
  • qbf
  • qcheck
  • qcow-format
  • qmp
  • qocamlbrowser
  • qtest
  • quest
  • quickcheck
  • r2pipe
  • radare2
  • randomconv
  • ranger
  • raw_spacetime
  • rawlink
  • raygun4ocaml
  • rdbg
  • rdf
  • rdr
  • re
  • re2
  • react
  • reactiveData
  • reason
  • reason-parser
  • records
  • redis
  • redis-lwt
  • redis-sync
  • reedsolomon
  • regstab
  • regular
  • res
  • result
  • revops
  • rfc6287
  • riakc_ppx
  • river
  • rlp
  • rml
  • root1d
  • rope
  • rpc_parallel
  • rresult
  • rtime
  • safa
  • safepass
  • salsa20-core
  • samplerate
  • satML-plugin
  • sattools
  • sawja
  • schoca
  • schroedinger
  • scid
  • scrypt
  • scrypt-kdf
  • sedlex
  • semver
  • sendmsg
  • sequence
  • sequoia
  • session
  • sessions
  • setr
  • sexplib
  • sgf
  • sha
  • shared-memory-ring
  • shared-memory-ring-lwt
  • shared-secret
  • shcaml
  • shexp
  • should
  • sibylfs-lem
  • simple-bmc
  • simple-diff
  • simple_pam
  • skkserv-lite
  • slacko
  • slap
  • smart-print
  • smbc
  • smtp
  • snappy
  • socket-daemon
  • socketcan
  • sodium
  • solvuu-build
  • sonet
  • sosa
  • soundtouch
  • spacetime_lib
  • spatial_index
  • spawn
  • speex
  • spelll
  • spirv
  • spotify-cli
  • spotify-web-api
  • spotinstall
  • spotlib
  • spreadsheet
  • sqlexpr
  • sqlgg
  • sqlite3
  • sqlite3EZ
  • ssl
  • starterkit
  • stationary
  • statsd-client
  • stb_image
  • stb_image_write
  • stb_truetype
  • stdint
  • stdio
  • stemmer
  • stemming
  • stog
  • stog-rdf
  • stog-writing
  • stone
  • stringext
  • sturgeon
  • subtype-refinement
  • swdogen
  • symkat
  • syndic
  • syslog
  • syslog-message
  • systemverilog
  • taglib
  • taglog
  • talaria_bibtex
  • tar
  • tar-format
  • tar-unix
  • TCSLib
  • tcx
  • tdk
  • telegraml
  • tensorflow
  • tensority
  • terminal_size
  • testrunner
  • testsimple
  • text
  • textutils
  • textwrap
  • tgls
  • themoviedb
  • theora
  • thrift
  • tiny_json
  • tip-parser
  • tls
  • tlstunnel
  • toml
  • tophide
  • topkg
  • topkg-care
  • topkg-jbuilder
  • toplevel_expect_test
  • topological_sort
  • topology
  • touist
  • tplib
  • tptp
  • trakeva
  • travis-opam
  • travis-senv
  • trax
  • tree_layout
  • treeprint
  • trie
  • tsdl
  • tsdl-image
  • tsdl-mixer
  • tsdl-ttf
  • tuareg
  • tube
  • tuntap
  • type-beat
  • type_conv
  • typerep
  • typerep_extended
  • typerex-binutils
  • typerex-build
  • typerex-clibs
  • typerex-system
  • typpx
  • tyre
  • tyxml
  • tyxml-ppx
  • ucaml
  • uchar
  • ucorelib
  • uint
  • ulex
  • unix-dirent
  • unix-errno
  • unix-fcntl
  • unix-sys-resource
  • unix-sys-stat
  • unix-time
  • unix-type-representations
  • unix-unistd
  • unmagic
  • uri
  • usb
  • usbmux
  • user-setup
  • utop
  • utp
  • uucd
  • uucp
  • uuidm
  • uunf
  • uuseg
  • uutf
  • uwt
  • valentine
  • variantslib
  • vchan
  • vector3
  • vg
  • vhd-format
  • virtual_dom
  • visitors
  • vorbis
  • vpnkit
  • wamp
  • wamp-msgpck
  • wamp-yojson
  • wasm
  • webbrowser
  • weberizer
  • webidl
  • webmachine
  • websocket
  • websocket-async
  • websocket-lwt
  • webtest
  • wget
  • why
  • why3
  • why3-base
  • win-error
  • win-eventlog
  • x509
  • xe
  • xen-evtchn
  • xen-gnt
  • xenstore
  • xenstore_transport
  • xml-light
  • xmldiff
  • xmlm
  • xmlplaylist
  • xstr
  • xstrp4
  • xtmpl
  • yajl
  • yajl-extra
  • yojson
  • zarith
  • zarith-xen
  • zed
  • zipperposition
  • zlib
  • zlist
  • zmq
  • zxcvbn
  • gdbprofiler
  • github-hooks
  • github-hooks-unix
  • graphlib
  • graphql-lwt
  • hardcaml-examples
  • immutable
  • io-page-xen
  • lo
  • logs-syslog
  • logtk
  • lpd
  • lpi
  • lru-cache
  • lua_pattern
  • lutils
  • lwt-binio
  • lwt-parallel
  • lwt_glib
  • lwt_named_threads
  • lwt_react
  • lwt_ssl
  • lymp
  • lz4
  • lzo
  • macaque
  • macaque_lwt
  • macaroons
  • mad
  • ml2mxml
  • oasis2debian
  • ocaml-js-stdlib
  • ocamltter
  • ocplib-concur
  • omake
  • opamfind
  • opium
  • otetris
  • postgresql
  • sexp_pretty
  • spdiff
  • text-tags
  • yurt
  • bigbro
  • bistro
  • camlp5
  • charrua-unix
  • coq
  • coqide
  • core_bench
  • core_extended
  • core_profiler
  • elasticsearch-cli
  • broken
  • capnp-rpc-lwt
  • capnp-rpc-unix
  • configuration
  • gasoline
  • getopts
  • git-http
  • irmin-unix
  • jupyter
  • js_of_ocaml-lwt
  • lablqt
  • labltk
  • ledit
  • lemonade
  • lemonade-sqlite
  • maxminddb
  • mirage-block-xen
  • mirage-bootvar-xen
  • mirage-console-xen-backend
  • mirage-profile-xen
  • mirage-xen-ocaml
  • mixture
  • pilat
  • rashell
  • space-search
  • zenon
  • zbar
  • zstd

Untested

Not installable

  • batsh
  • bt
  • comparelib
  • custom_printf
  • enumerate
  • erssical
  • facebook-sdk
  • flow
  • genlet
  • gsasl
  • hydro
  • ibx
  • imaplet-lwt
  • jitsu
  • jitsu-libvirt
  • jitsu-libxl
  • jitsu-xapi
  • joolog
  • js-lz4
  • krb5
  • lambdoc
  • lastfm
  • libres3
  • litiom
  • mbr-format
  • merge-queues
  • merge-ropes
  • mirage-http-unix
  • mirage-http-xen
  • mirage-irmin
  • mirage-net-macosx
  • mirage-tcpip-unix
  • mirage-tcpip-xen
  • mirage-www
  • modelica_ml
  • nanomsg
  • netamqp
  • oasis-mirage
  • obeanstalk
  • obigstore
  • ocaml-markdown
  • ocaml-xml-rpc
  • oci
  • ojquery
  • ojwidgets
  • operf-macro
  • ox
  • pa_bench
  • pa_ounit
  • pa_test
  • perf
  • planets
  • protobuf
  • receive-mail
  • riak
  • riak-pb
  • riakc
  • sibylfs
  • sill
  • sociaml-facebook-api
  • sociaml-oauth-client
  • sociaml-tumblr-api
  • sociaml-vcard
  • tftp
  • tiny_json_conv
  • transmission-rpc
  • typehashlib
  • typerex-attic
  • typerex-lldb
  • vhd-tool
  • vrt
  • wdialog
  • xe-unikernel-upload
  • xen-block-driver
  • xen-disk
  • xentropyd
  • zephyrus
  • zero

Missing external dependencies

  • clangml
  • clangml-transforms
  • mirage-bootvar-solo5
  • mirage-console-solo5
  • mirage-solo5
  • zarith-freestanding
  • bap
  • bap-arm
  • bap-fsi-benchmark
  • bap-ida
  • bap-ida-plugin
  • bap-ida-python
  • bap-llvm
  • bap-primus-x86
  • bap-server
  • bap-x86
  • camlhighlight
  • conf-libsvm
  • conf-openblas
  • conf-rdkit
  • conf-sdpa
  • curses
  • dlm
  • ffmpeg
  • freetds
  • fstar
  • gammu
  • gmp-freestanding
  • grib
  • hardcaml-vpi
  • irrlicht
  • ivy
  • javascriptcore
  • lbfgs
  • libvhd
  • milter
  • mirage-block-solo5
  • mirage-console-xen-cli
  • mirage-net-solo5
  • nlopt-ocaml
  • ocaml-buddy
  • ocaml-freestanding
  • ocaml-r
  • ocaml-zmq
  • ocsfml
  • odepack
  • opam-installext
  • ordma
  • orocksdb
  • osdp
  • owl
  • plist
  • plplot
  • proj4
  • qrencode
  • sanlock
  • secp256k1
  • shine
  • solo5-kernel-ukvm
  • spf
  • sundialsml
  • termbox
  • udunits
  • vchan-unix
  • voaacenc
  • wiringpi
  • xapi-libs-transitional
  • xapi-rrd-transport
  • xapi-rrdd
  • xapi-xenops
  • xen-evtchn-unix
  • xen-gnt-unix
  • xenctrl
  • xxhash

Other issues

  • brozip
  • conf-ida
  • conf-lldb
  • configuration
  • cryptodbm
  • future
  • gasoline
  • genet
  • iso-filesystem
  • jupyter
  • lilis
  • melt
  • memcad
  • mirage-conduit
  • mirage-console-xen
  • mirage-flow-lwt
  • mirage-flow-rawlink
  • mirage-flow-unix
  • mirage-git
  • mirage-http
  • mirage-net-direct
  • mirage-net-fd
  • mirage-net-flow
  • mirage-net-xen
  • mirage-qubes
  • mirage-qubes-ipv4
  • mirage-vnetif
  • mirage-xen
  • nbd
  • netchannel
  • numerix
  • ocamlyices
  • ocapic
  • ojs-base
  • opam-bundle
  • opam-ed
  • osbx
  • patoline
  • prob-cache
  • protocol-9p
  • protocol-9p-tool
  • protocol-9p-unix
  • qcow
  • qcow-tool
  • qfs
  • rashell
  • rpc
  • rubytt
  • shared-block-ring
  • slack-backup
  • snabela
  • solo5-kernel-virtio
  • spoc
  • srs
  • tar-mirage
  • tcpip
  • tidy
  • vchan-xen
  • vhdlib
  • wxOCaml
  • xapi-backtrace
  • xapi-forkexecd
  • xapi-idl
  • xapi-inventory
  • xapi-rrd
  • xapi-stdext
  • xapi-tapctl
  • xen-api-client
  • yices2
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment