index
:
nixlib
this commit
master
sixos
Alyssa's collection of Nix expressions
Alyssa Ross
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
development
/
ocaml-modules
Mode
Name
Size
d---------
afl-persistent
39
log
plain
d---------
alcotest
112
log
plain
d---------
angstrom-async
39
log
plain
d---------
angstrom-lwt-unix
39
log
plain
d---------
angstrom-unix
39
log
plain
d---------
angstrom
39
log
plain
d---------
ansiterminal
39
log
plain
d---------
apron
39
log
plain
d---------
arp
39
log
plain
d---------
asn1-combinators
39
log
plain
d---------
astring
39
log
plain
d---------
atd
39
log
plain
d---------
atdgen
39
log
plain
d---------
awa
112
log
plain
d---------
bap
90
log
plain
d---------
base64
39
log
plain
d---------
batteries
39
log
plain
d---------
benchmark
39
log
plain
d---------
bheap
39
log
plain
d---------
bigarray-compat
39
log
plain
d---------
bigarray-overlap
39
log
plain
d---------
bigstring
39
log
plain
d---------
bigstringaf
39
log
plain
d---------
biniou
74
log
plain
d---------
biocaml
39
log
plain
d---------
bisect_ppx
39
log
plain
d---------
bistro
39
log
plain
d---------
bitstring
74
log
plain
d---------
bitv
39
log
plain
d---------
bls12-381
148
log
plain
d---------
bolt
39
log
plain
d---------
bos
39
log
plain
d---------
bz2
39
log
plain
d---------
ca-certs-nss
39
log
plain
d---------
ca-certs
39
log
plain
d---------
cairo2
39
log
plain
d---------
calendar
39
log
plain
d---------
callipyge
39
log
plain
d---------
camlimages
76
log
plain
d---------
camlpdf
39
log
plain
d---------
camlzip
118
log
plain
d---------
camomile
113
log
plain
d---------
caqti
336
log
plain
d---------
carton
109
log
plain
d---------
cfstream
83
log
plain
d---------
chacha
39
log
plain
d---------
charInfo_width
39
log
plain
d---------
checkseum
39
log
plain
d---------
cil
39
log
plain
d---------
cmdliner
39
log
plain
d---------
cohttp
189
log
plain
d---------
coin
39
log
plain
d---------
color
39
log
plain
d---------
comparelib
39
log
plain
d---------
conduit
189
log
plain
d---------
config-file
39
log
plain
d---------
containers
75
log
plain
d---------
cooltt
39
log
plain
d---------
cow
39
log
plain
d---------
cpdf
39
log
plain
d---------
cpu
39
log
plain
d---------
cpuid
39
log
plain
d---------
crowbar
79
log
plain
d---------
cryptgps
39
log
plain
d---------
cryptokit
39
log
plain
d---------
csexp
39
log
plain
d---------
cstruct
218
log
plain
d---------
csv
148
log
plain
d---------
ctypes
39
log
plain
d---------
cudf
39
log
plain
d---------
curly
39
log
plain
d---------
curses
39
log
plain
d---------
dap
39
log
plain
d---------
data-encoding
39
log
plain
d---------
dbf
39
log
plain
d---------
decompress
39
log
plain
d---------
diet
39
log
plain
d---------
digestif
39
log
plain
d---------
directories
39
log
plain
d---------
dispatch
39
log
plain
d---------
dns
339
log
plain
d---------
dolmen
39
log
plain
d---------
dolog
39
log
plain
d---------
domain-name
39
log
plain
d---------
dose3
39
log
plain
d---------
dtoa
39
log
plain
d---------
duff
39
log
plain
d---------
dum
39
log
plain
d---------
dune-action-plugin
39
log
plain
d---------
dune-build-info
39
log
plain
d---------
dune-configurator
39
log
plain
d---------
dune-glob
39
log
plain
d---------
dune-private-libs
39
log
plain
d---------
dune-site
39
log
plain
d---------
duration
39
log
plain
d---------
dypgen
39
log
plain
d---------
earley
39
log
plain
d---------
earlybird
39
log
plain
d---------
easy-format
39
log
plain
d---------
eigen
39
log
plain
d---------
either
39
log
plain
d---------
elina
39
log
plain
d---------
eliom
80
log
plain
d---------
elpi
39
log
plain
d---------
emile
39
log
plain
d---------
encore
39
log
plain
d---------
enumerate
39
log
plain
d---------
eqaf
39
log
plain
d---------
erm_xml
39
log
plain
d---------
erm_xmpp
39
log
plain
d---------
ethernet
39
log
plain
d---------
expat
116
log
plain
d---------
extlib
76
log
plain
d---------
ezjsonm
39
log
plain
d---------
ezxmlm
39
log
plain
d---------
facile
39
log
plain
d---------
faraday
151
log
plain
d---------
farfadet
39
log
plain
d---------
fdkaac
39
log
plain
d---------
ff
109
log
plain
d---------
ffmpeg
396
log
plain
d---------
fiat-p256
39
log
plain
d---------
fileutils
39
log
plain
d---------
fix
39
log
plain
d---------
flac
39
log
plain
d---------
fmt
39
log
plain
d---------
fontconfig
39
log
plain
d---------
fpath
39
log
plain
d---------
frontc
39
log
plain
d---------
functoria
78
log
plain
d---------
functory
39
log
plain
d---------
gapi-ocaml
39
log
plain
d---------
gen
39
log
plain
d---------
genspio
39
log
plain
d---------
getopt
39
log
plain
d---------
gg
39
log
plain
d---------
git
191
log
plain
d---------
gluten
114
log
plain
d---------
gmap
39
log
plain
d---------
gmetadom
80
log
plain
d---------
gnuplot
39
log
plain
d---------
graphics
39
log
plain
d---------
graphql
150
log
plain
d---------
graphql_ppx
39
log
plain
d---------
gsl
39
log
plain
d---------
h2
39
log
plain
d---------
hack_parallel
39
log
plain
d---------
hacl-star
74
log
plain
d---------
hacl_x25519
39
log
plain
d---------
hashcons
39
log
plain
d---------
herelib
39
log
plain
d---------
hex
39
log
plain
d---------
hidapi
39
log
plain
d---------
higlo
39
log
plain
d---------
hkdf
39
log
plain
d---------
hmap
39
log
plain
d---------
hpack
39
log
plain
d---------
httpaf
39
log
plain
d---------
hxd
39
log
plain
d---------
imagelib
39
log
plain
d---------
index
39
log
plain
d---------
inifiles
39
log
plain
d---------
inotify
39
log
plain
d---------
integers
39
log
plain
d---------
io-page
75
log
plain
d---------
ipaddr
114
log
plain
d---------
iri
39
log
plain
d---------
irmin-watcher
39
log
plain
d---------
irmin
569
log
plain
d---------
iso8601
39
log
plain
d---------
iter
39
log
plain
d---------
janestreet
323
log
plain
d---------
javalib
142
log
plain
d---------
jingoo
39
log
plain
d---------
json-data-encoding
75
log
plain
d---------
jsonm
39
log
plain
d---------
junit
116
log
plain
d---------
jwto
39
log
plain
d---------
kafka
74
log
plain
d---------
ke
39
log
plain
d---------
lablgl
126
log
plain
d---------
lablgtk-extras
74
log
plain
d---------
lablgtk
77
log
plain
d---------
lablgtk3
123
log
plain
d---------
labltk
39
log
plain
d---------
lacaml
39
log
plain
d---------
lambda-term
39
log
plain
d---------
lambdasoup
39
log
plain
d---------
lens
39
log
plain
d---------
letsencrypt
109
log
plain
d---------
linenoise
39
log
plain
d---------
llvm
39
log
plain
d---------
logs
39
log
plain
d---------
lru
39
log
plain
d---------
lua-ml
39
log
plain
d---------
lustre-v6
39
log
plain
d---------
lutils
39
log
plain
d---------
luv
39
log
plain
d---------
lwt-canceler
39
log
plain
d---------
lwt-dllist
39
log
plain
d---------
lwt-exit
39
log
plain
d---------
lwt-watcher
39
log
plain
d---------
lwt
112
log
plain
d---------
lwt_log
39
log
plain
d---------
lwt_react
39
log
plain
d---------
lwt_ssl
39
log
plain
d---------
macaddr
114
log
plain
d---------
macaque
39
log
plain
d---------
magic-mime
39
log
plain
d---------
magick
39
log
plain
d---------
mariadb
39
log
plain
d---------
markup
39
log
plain
d---------
mccs
39
log
plain
d---------
mdx
39
log
plain
d---------
menhir
109
log
plain
d---------
merlin-extend
39
log
plain
d---------
metrics
186
log
plain
d---------
mew
39
log
plain
d---------
mew_vi
39
log
plain
d---------
mimic
39
log
plain
d---------
minisat
39
log
plain
d---------
mirage-block-ramdisk
39
log
plain
d---------
mirage-block-unix
39
log
plain
d---------
mirage-block
82
log
plain
d---------
mirage-bootvar-unix
39
log
plain
d---------
mirage-bootvar-xen
39
log
plain
d---------
mirage-channel
39
log
plain
d---------
mirage-clock
119
log
plain
d---------
mirage-console
75
log
plain
d---------
mirage-crypto
225
log
plain
d---------
mirage-device
39
log
plain
d---------
mirage-flow
118
log
plain
d---------
mirage-fs
39
log
plain
d---------
mirage-kv
39
log
plain
d---------
mirage-logs
39
log
plain
d---------
mirage-nat
39
log
plain
d---------
mirage-net-xen
39
log
plain
d---------
mirage-net
39
log
plain
d---------
mirage-profile
39
log
plain
d---------
mirage-protocols
39
log
plain
d---------
mirage-random-test
39
log
plain
d---------
mirage-random
39
log
plain
d---------
mirage-stack
39
log
plain
d---------
mirage-time
75
log
plain
d---------
mirage-unix
39
log
plain
d---------
mirage-vnetif
39
log
plain
d---------
mirage-xen
133
log
plain
d---------
mirage
156
log
plain
d---------
mlgmp
71
log
plain
d---------
mlgmpidl
39
log
plain
d---------
mmap
39
log
plain
d---------
mparser
75
log
plain
d---------
mrmime
39
log
plain
d---------
mtime
39
log
plain
d---------
mustache
39
log
plain
d---------
mysql
39
log
plain
d---------
netchannel
39
log
plain
d---------
nocrypto
39
log
plain
d---------
noise
39
log
plain
d---------
nonstd
39
log
plain
d---------
notty
39
log
plain
d---------
npy
39
log
plain
d---------
num
86
log
plain
d---------
ocaml-cairo
77
log
plain
d---------
ocaml-freestanding
134
log
plain
d---------
ocaml-gettext
115
log
plain
d---------
ocaml-libvirt
39
log
plain
d---------
ocaml-lsp
113
log
plain
d---------
ocaml-migrate-parsetree
72
log
plain
d---------
ocaml-monadic
39
log
plain
d---------
ocaml-print-intf
39
log
plain
d---------
ocaml-protoc
39
log
plain
d---------
ocaml-r
39
log
plain
d---------
ocaml-result
39
log
plain
d---------
ocaml-sat-solvers
39
log
plain
d---------
ocaml-syntax-shims
39
log
plain
d---------
ocaml-version
39
log
plain
d---------
ocamlformat-rpc-lib
39
log
plain
d---------
ocamlfuse
39
log
plain
d---------
ocamlgraph
74
log
plain
d---------
ocamlmake
80
log
plain
d---------
ocamlnat
39
log
plain
d---------
ocamlnet
39
log
plain
d---------
ocamlsdl
39
log
plain
d---------
ocb-stubblr
83
log
plain
d---------
ocf
74
log
plain
d---------
ocp-ocamlres
39
log
plain
d---------
ocplib-endian
39
log
plain
d---------
ocplib-json-typed
114
log
plain
d---------
ocplib-simplex
39
log
plain
d---------
ocsigen-deriving
39
log
plain
d---------
ocsigen-server
39
log
plain
d---------
ocsigen-start
86
log
plain
d---------
ocsigen-toolkit
39
log
plain
d---------
octavius
39
log
plain
d---------
ocurl
39
log
plain
d---------
odate
39
log
plain
d---------
odn
39
log
plain
d---------
odoc-parser
39
log
plain
d---------
odoc
39
log
plain
d---------
ogg
39
log
plain
d---------
omd
39
log
plain
d---------
opam-core
39
log
plain
d---------
opam-file-format
39
log
plain
d---------
opam-format
39
log
plain
d---------
opam-repository
86
log
plain
d---------
opam-state
39
log
plain
d---------
opium
39
log
plain
d---------
opium_kernel
39
log
plain
d---------
opti
39
log
plain
d---------
optint
39
log
plain
d---------
opus
39
log
plain
d---------
otfm
39
log
plain
d---------
otoml
39
log
plain
d---------
otr
39
log
plain
d---------
ounit
39
log
plain
d---------
ounit2
39
log
plain
d---------
owee
39
log
plain
d---------
owl-base
39
log
plain
d---------
owl
39
log
plain
d---------
paf
111
log
plain
d---------
parany
39
log
plain
d---------
parmap
39
log
plain
d---------
parse-argv
39
log
plain
d---------
path_glob
39
log
plain
d---------
pbkdf
39
log
plain
d---------
pcap-format
39
log
plain
d---------
pcre
39
log
plain
d---------
pecu
39
log
plain
d---------
pgocaml
74
log
plain
d---------
pgsolver
39
log
plain
d---------
phylogenetics
39
log
plain
d---------
piaf
39
log
plain
d---------
pipebang
39
log
plain
d---------
piqi-ocaml
39
log
plain
d---------
piqi
94
log
plain
d---------
posix
111
log
plain
d---------
postgresql
39
log
plain
d---------
pp
39
log
plain
d---------
pprint
39
log
plain
d---------
ppx_bap
39
log
plain
d---------
ppx_blob
39
log
plain
d---------
ppx_cstubs
39
log
plain
d---------
ppx_derivers
39
log
plain
d---------
ppx_deriving
39
log
plain
d---------
ppx_deriving_cmdliner
39
log
plain
d---------
ppx_deriving_protobuf
39
log
plain
d---------
ppx_deriving_rpc
39
log
plain
d---------
ppx_deriving_yaml
39
log
plain
d---------
ppx_deriving_yojson
39
log
plain
d---------
ppx_gen_rec
39
log
plain
d---------
ppx_import
39
log
plain
d---------
ppx_tools
39
log
plain
d---------
ppx_tools_versioned
39
log
plain
d---------
ppx_yojson_conv_lib
39
log
plain
d---------
ppxlib
39
log
plain
d---------
prettym
39
log
plain
d---------
printbox
75
log
plain
d---------
process
39
log
plain
d---------
prof_spacetime
39
log
plain
d---------
progress
39
log
plain
d---------
psmt2-frontend
39
log
plain
d---------
psq
39
log
plain
d---------
ptime
39
log
plain
d---------
ptmap
39
log
plain
d---------
ptset
39
log
plain
d---------
pyml
39
log
plain
d---------
qcheck
152
log
plain
d---------
qtest
39
log
plain
d---------
randomconv
39
log
plain
d---------
rdbg
39
log
plain
d---------
re
39
log
plain
d---------
react
39
log
plain
d---------
reactivedata
39
log
plain
d---------
reason-native
520
log
plain
d---------
repr
74
log
plain
d---------
resource-pooling
39
log
plain
d---------
resto
425
log
plain
d---------
rfc7748
39
log
plain
d---------
ringo
74
log
plain
d---------
rope
39
log
plain
d---------
rosetta
39
log
plain
d---------
routes
39
log
plain
d---------
rpclib
74
log
plain
d---------
rresult
39
log
plain
d---------
safepass
39
log
plain
d---------
sawja
142
log
plain
d---------
secp256k1-internal
39
log
plain
d---------
secp256k1
39
log
plain
d---------
sedlex
72
log
plain
d---------
semaphore-compat
39
log
plain
d---------
seq
74
log
plain
d---------
sha
39
log
plain
d---------
shared-memory-ring
74
log
plain
d---------
shine
39
log
plain
d---------
sodium
94
log
plain
d---------
sosa
39
log
plain
d---------
spacetime_lib
39
log
plain
d---------
speex
39
log
plain
d---------
spelll
39
log
plain
d---------
sqlite3
39
log
plain
d---------
sqlite3EZ
39
log
plain
d---------
srt
39
log
plain
d---------
ssl
39
log
plain
d---------
stdcompat
39
log
plain
d---------
stdint
39
log
plain
d---------
stdlib-shims
39
log
plain
d---------
stringext
39
log
plain
d---------
syslog-message
39
log
plain
d---------
syslog
39
log
plain
d---------
tar
75
log
plain
d---------
tcpip
39
log
plain
d---------
tcslib
39
log
plain
d---------
terminal
39
log
plain
d---------
terminal_size
39
log
plain
d---------
tezos
2839
log
plain
d---------
theora
39
log
plain
d---------
tls
114
log
plain
d---------
toml
39
log
plain
d---------
topkg
39
log
plain
d---------
torch
39
log
plain
d---------
trie
39
log
plain
d---------
tsdl
39
log
plain
d---------
tsort
39
log
plain
d---------
tuntap
39
log
plain
d---------
twt
39
log
plain
d---------
type_conv
123
log
plain
d---------
tyxml
39
log
plain
d---------
uchar
39
log
plain
d---------
uecc
39
log
plain
d---------
ulex
39
log
plain
d---------
unstrctrd
39
log
plain
d---------
uri
75
log
plain
d---------
uucd
39
log
plain
d---------
uucp
39
log
plain
d---------
uuidm
39
log
plain
d---------
uunf
39
log
plain
d---------
uuseg
39
log
plain
d---------
uutf
39
log
plain
d---------
uuuu
39
log
plain
d---------
vchan
39
log
plain
d---------
vector
39
log
plain
d---------
vg
39
log
plain
d---------
visitors
39
log
plain
d---------
vlq
39
log
plain
d---------
vorbis
39
log
plain
d---------
wasm
39
log
plain
d---------
wayland
39
log
plain
d---------
webbrowser
39
log
plain
d---------
webmachine
39
log
plain
d---------
wodan
112
log
plain
d---------
wtf8
39
log
plain
d---------
x509
39
log
plain
d---------
xenstore-tool
39
log
plain
d---------
xenstore
39
log
plain
d---------
xenstore_transport
39
log
plain
d---------
xml-light
39
log
plain
d---------
xmlm
39
log
plain
d---------
xtmpl
74
log
plain
d---------
yaml
80
log
plain
d---------
yojson
39
log
plain
d---------
yuscii
39
log
plain
d---------
z3
82
log
plain
d---------
zarith
39
log
plain
d---------
zed
39
log
plain
d---------
zmq
74
log
plain