Vincent Laporte 014a30da93 why3: 0.86.2 -> 0.86.3 ... And merge with ocamlPackages.why3 (the OCaml library would not work correctly if packaged separately).		2016-03-04 09:29:10 +01:00
..
alcotest
ansiterminal
asn1-combinators
async
async_extra
async_find
async_kernel
async_shell
async_ssl
async_unix
atd
atdgen
base64
batteries
bin_prot
biniou
bitstring	Remove all dots at end of descriptions	2016-02-27 17:30:29 +00:00
bolt
calendar
camlimages
camlpdf
camlzip
camomile
cil
cmdliner
cohttp
comparelib
conduit
config-file
containers	ocamlPackages.containers: init at 0.15	2016-02-17 20:42:14 +01:00
core
core_extended
core_kernel
cpdf
cryptgps
cryptokit
cstruct
csv
ctypes
custom_printf
dolog
dypgen
easy-format
eliom
enumerate
erm_xml
erm_xmpp
expat
extlib
ezjsonm
faillib
fieldslib
fileutils
fix
fontconfig
functory
gapi-ocaml
gen	ocamlPackages.gen: init at 0.3	2016-02-17 20:42:13 +01:00
gg
gmetadom
gtktop
herelib
hex
http
io-page
ipaddr
iso8601
javalib
jingoo
jsonm
lablgl
lablgtk
lablgtk-extras
lablgtkmathview
lambda-term
llvm
lwt
macaque
magic-mime
magick
menhir	menhir: 20151112 -> 20160303	2016-03-04 09:29:10 +01:00
mlgmp
mysql
nocrypto
ocaml-cairo
ocaml-cairo2
ocaml-result	ocamlPackages.result: init at 1.1	2016-02-29 20:32:58 +01:00
ocaml-text
ocamlfuse
ocamlgraph
ocamlmake
ocamlnat
ocamlnet
ocamlsdl	use the sourceforge mirrors everywhere	2016-02-28 12:07:42 +00:00
ocplib-endian
ocsigen-deriving
ocsigen-server
ocurl
odn
ojquery
optcomp
otfm
ounit
pa_bench
pa_ounit
pa_test
pcre
pgocaml
pipebang
piqi	Remove all dots at end of descriptions	2016-02-27 17:30:29 +00:00
piqi-ocaml	Remove all dots at end of descriptions	2016-02-27 17:30:29 +00:00
pprint
ppx_tools
pycaml
qcheck
qtest
re
re2
react
reactivedata
safepass
sawja
sequence	ocamlPackages.sequence: init at 0.6	2016-02-17 20:42:14 +01:00
sexplib
sqlite3
sqlite3EZ
ssl	use the sourceforge mirrors everywhere	2016-02-28 12:07:42 +00:00
stringext
textutils
tsdl	ocamlPackages.tsdl: init at 0.9.0	2016-02-29 20:32:58 +01:00
tuntap
twt
type_conv
typerep
tyxml
ulex
uri
uucd
uucp
uuidm	Remove all dots at end of descriptions	2016-02-27 17:30:29 +00:00
uunf
uuseg
uutf
variantslib
vg
x509
xml-light
xmlm
yojson
zarith
zed