Re: OCaml 4.00.1 for Fedora 18

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On Thu, Dec 13, 2012 at 09:19:54PM +0000, Richard W.M. Jones wrote:
> There will probably be about 70-80 packages in all.  I'm planning
> to do the others tomorrow.

Assuming my repoquery command is correct, the full package list is
below:

$ repoquery -s --alldeps --recursive --whatrequires ocaml '*.src' | sort -u
alt-ergo-0.94-6.fc18.src.rpm
apron-0.9.10-8.fc18.src.rpm
brltty-4.3-7.fc18.src.rpm
cduce-0.5.5-2.fc18.src.rpm
coccinelle-1.0.0-0.rc14.5.fc18.src.rpm
coq-8.4-1.fc18.src.rpm
emacs-common-tuareg-2.0.4-3.fc18.src.rpm
flocq-2.1.0-2.fc18.src.rpm
frama-c-1.7-9.fc18.src.rpm
gappalib-coq-0.18.0-4.fc18.src.rpm
graphviz-2.28.0-23.fc18.src.rpm
guestfs-browser-0.2.1-5.fc18.src.rpm
hivex-1.3.7-1.fc18.src.rpm
js-of-ocaml-1.2-1.fc18.src.rpm
llvm-3.1-11.fc18.src.rpm
ocaml-4.00.0-1.fc18.src.rpm                          # done
ocaml-ancient-0.9.0-9.fc18.src.rpm
ocaml-augeas-0.5-2.fc18.src.rpm
ocaml-bin-prot-2.0.9-2.fc18.src.rpm
ocaml-bisect-1.1-3.fc18.src.rpm
ocaml-bitstring-2.0.3-4.fc18.src.rpm
ocaml-cairo-1.2.0-0.7.git08b40192975.fc18.src.rpm
ocaml-calendar-2.03.1-5.fc18.src.rpm
ocaml-camlidl-1.05-16.fc18.src.rpm                   # done
ocaml-camlimages-4.0.1-6.fc18.src.rpm
ocaml-camlp5-6.06-4.fc18.src.rpm
ocaml-camomile-0.8.3-9.fc18.src.rpm
ocaml-cil-1.4.0-5.fc18.src.rpm
ocaml-cryptokit-1.6-2.fc18.src.rpm
ocaml-csv-1.1.7-12.fc18.src.rpm
ocaml-curl-0.5.3-6.fc18.src.rpm
ocaml-curses-1.0.3-13.fc18.src.rpm
ocaml-dbus-0.29-5.fc18.src.rpm
ocaml-deriving-0.1.1a-16.fc18.src.rpm
ocaml-expat-0.9.1-23.fc18.src.rpm
ocaml-extlib-1.5.2-4.fc18.src.rpm
ocaml-facile-1.1-18.fc18.src.rpm
ocaml-fileutils-0.4.0-10.fc18.src.rpm
ocaml-findlib-1.3.3-1.fc18.src.rpm                   # done
ocaml-gettext-0.3.4-5.fc18.src.rpm
ocaml-gsl-0.6.0-15.fc18.src.rpm
ocaml-json-static-0.9.8-7.fc18.src.rpm
ocaml-json-wheel-1.0.6-9.fc18.src.rpm
ocaml-lablgl-20120306-3.fc18.src.rpm
ocaml-lablgtk-2.14.2-12.fc18.src.rpm
ocaml-lacaml-5.5.2-4.fc18.src.rpm
ocaml-libvirt-0.6.1.2-5.fc18.src.rpm
ocaml-lwt-2.3.2-7.fc18.src.rpm
ocaml-menhir-20120123-4.fc18.src.rpm
ocaml-mikmatch-1.0.6-1.fc18.src.rpm
ocaml-mlgmpidl-1.2-0.5.20120508.fc18.src.rpm
ocaml-mysql-1.1.0-3.fc18.src.rpm
ocaml-newt-0.9-13.fc18.src.rpm
ocaml-ocamlgraph-1.8.2-1.fc18.src.rpm
ocaml-ocamlnet-3.5.1-3.fc18.src.rpm
ocaml-openin-20070524-15.fc18.src.rpm
ocaml-ounit-1.1.2-3.fc18.src.rpm
ocaml-p3l-2.03-11.fc18.src.rpm
ocaml-pa-do-0.8.13-3.fc18.src.rpm
ocaml-pa-monad-6.0-9.fc18.src.rpm
ocaml-pcre-6.2.5-4.fc18.src.rpm
ocaml-perl4caml-0.9.5-22.fc18.src.rpm
ocaml-pgocaml-1.5-2.fc18.src.rpm
ocaml-postgresql-1.18.0-3.fc18.src.rpm
ocaml-preludeml-0.1-0.21.20100314.fc18.src.rpm
ocaml-pxp-1.2.3-4.fc18.src.rpm
ocaml-react-0.9.2-5.fc18.src.rpm
ocaml-reins-0.1a-13.fc18.src.rpm
ocaml-res-3.2.0-9.fc18.src.rpm
ocaml-SDL-0.8.0-6.fc18.src.rpm
ocaml-sexplib-7.0.5-3.fc18.src.rpm
ocaml-sqlite-1.6.3-2.fc18.src.rpm
ocaml-ssl-0.4.6-4.fc18.src.rpm
ocaml-type-conv-3.0.5-2.fc18.src.rpm
ocaml-ulex-1.1-14.fc18.src.rpm
ocaml-xml-light-2.3-0.1.svn234.fc18.src.rpm
ocaml-xmlrpc-light-0.6.1-10.fc18.src.rpm
ocaml-zarith-1.1-2.fc18.src.rpm
ocaml-zip-1.04-9.fc18.src.rpm
plplot-5.9.9-10.svn12202.fc18.src.rpm
syntastic-2.3.0-8.20120917git72856e6.fc18.src.rpm
whenjobs-0.7.3-1.fc18.src.rpm
why-2.31-3.fc18.src.rpm
why3-0.73-2.fc18.src.rpm
xen-4.2.0-6.fc18.src.rpm
zenon-0.7.1-1.fc18.src.rpm

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
virt-top is 'top' for virtual machines.  Tiny program with many
powerful monitoring features, net stats, disk stats, logging, etc.
http://et.redhat.com/~rjones/virt-top
-- 
devel mailing list
devel@xxxxxxxxxxxxxxxxxxxxxxx
https://admin.fedoraproject.org/mailman/listinfo/devel



[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Index of Archives]     [Fedora Announce]     [Fedora Kernel]     [Fedora Testing]     [Fedora Formulas]     [Fedora PHP Devel]     [Kernel Development]     [Fedora Legacy]     [Fedora Maintainers]     [Fedora Desktop]     [PAM]     [Red Hat Development]     [Gimp]     [Yosemite News]
  Powered by Linux