Re: OCaml 3.12.1 (was 3.12.0) in Rawhide

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

 



On Fri, Jan 06, 2012 at 12:47:39PM +0000, Richard W.M. Jones wrote:
> 
> http://caml.inria.fr/ocaml/release.en.html
> 
> 3.12.1 is a simple bugfix update to the compiler.

It probably would have been a good idea to link to the release notes ...

  http://caml.inria.fr/pub/distrib/ocaml-3.12/notes/Changes

I've done about 2/3rds of the OCaml packages, and have now got bored.

Below are the ones that I HAVEN'T done.  Feel free to jump in!
However please check the upstream for each package to see if there is
a new version, and if so, update to it.

ocaml-apron-0.9.10-4.fc17
ocaml-bin-prot-2.0.6-1.fc17
ocaml-bisect-1.0-4.fc15
ocaml-cil-1.3.7-10.fc16
ocaml-cryptokit-1.4-4.fc15
ocaml-dbus-0.29-2.fc15
ocaml-deriving-0.1.1a-12.fc15
ocaml-facile-1.1-14.fc15
ocaml-gsl-0.6.0-12.fc15
ocaml-json-static-0.9.8-4.fc15
ocaml-json-wheel-1.0.6-6.fc17
ocaml-lacaml-5.4.8-2.fc15
ocaml-lwt-2.3.2-1.fc17
ocaml-mikmatch-1.0.3-4.fc16
ocaml-mlgmpidl-1.1-7.fc15
ocaml-mysql-1.0.4-14.fc15
ocaml-newt-0.9-10.fc15
ocaml-ocamlgraph-1.8.1-1.fc17
ocaml-openin-20070524-12.fc15
ocaml-p3l-2.03-8.fc15
ocaml-pa-do-0.8.12-2.fc15
ocaml-pa-monad-6.0-6.fc15
ocaml-postgresql-1.14.0-2.fc15
ocaml-preludeml-0.1-0.18.20100314.fc17
ocaml-reins-0.1a-10.fc15
ocaml-res-3.2.0-6.fc15
ocaml-SDL-0.8.0-3.fc15
cduce
coq
coccinelle

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