OCaml Forge
SCM

Forums for Site News Admin

My Monitored Forums

Forum Description Threads Posts Last Post Moderation Level
 forge-enter-beta-test-phase The OCamlCore.org Team is proud to announce that this forge enter the beta test phase before being available for the whole OCaml community. A forge is a set of services for software projects, including version control systems (CVS, SVN, ...), mailing lists, download areas, bug tracking systems, ... Well known examples are sourceforge.net, GNA, and Savannah. The forge for the OCaml community will be specifically aimed at hosting software projects related to the OCaml programming language. The new site is almost ready for the release. However, before open it to everybody, we would like to gather a group of people from the community to beta-test the site. In particular, we are therefore looking for people which: * have a small experience with other forge * have an OCaml project to start (or to migrate from somewhere else) * are willing to collaborate with us to find out problems in the forge setup Of course, this being a test period, we are not yet willing to give guarantees of any kind, but we do have backups. So if you want to participate to the beta test of forge.ocamlcore.org, sign-up for an account. Then submit a project, stating into "Objectifs et description du projet" that "Project will belong to the beta test of forge.ocamlcore.org". This is for records and help us to be sure that project submitter is aware of the "beta" status of the forge. For the moment we are *not* going to accept projects which do not explicitly acknowledge the beta testing status of the forge. the OCamlCore.org Team. Sylvain Le Gall, Romain Beauxis, Stefano Zacchiroli, Pietro Abate 1 2 2008-03-13 11:35 No Moderation
 forge-is-open-to-your-submission OCamlCore.org is ready ! During the last few weeks, the OCamlCore.org Team, with the help of many other members of the community, worked hard to fix a number of problems on the site. Now we think it is ready for prime time. Therefore, following from the previous announcement [<a href="http://groups.google.com/group/fa.caml/msg/6faedd72f77fd0df">1</a>, <a href="http://groups.google.com/group/fa.caml/msg/f8342697120413fd">2</a>] of the availability of an OCaml planet and the OCaml forge beta testing, we are now ready to allow full public access to OCaml forge. A forge is a set of services for software projects, including version control systems (CVS, SVN, ...), mailing lists, download areas, bug tracking systems, ... Well known examples are sourceforge.net, GNA, and Savannah. The forge for the OCaml community will be specifically aimed at hosting software projects related to the OCaml programming language. This new forge has been beta tested, but you could still found some bugs. In this case, don't hesitate to submit bug to the <a href="http://forge.ocamlcore.org/projects/siteadmin/">Site admin project</a> So if you want to start an ocaml project on forge.ocamlcore.org, sign-up for an account. We want to limit the use of this forge to OCaml related project. This include software or library written in OCaml, but also projects around OCaml, using derived languages (JoCaml, OCamlDuce, ...) or providing service for OCaml community (tools for conference organization...). <i>Help needed</i> At the moment, we have set up an hosting service for <a href="http://git.ocamlcore.org">git</a> and <a href="http://darcs.ocamlcore.org">darcs</a>. We are looking for experienced forge administrator that can allow us to manage this two SCM through GForge. Contact us if you are interested. We are also looking for talented web designer to make the look of ocamlcore.org nicer. Join the project <a href="http://forge.ocamlcore.org/projects/ocamlcore-theme/">ocamlcore-theme</a> and read the <a href="http://forge.ocamlcore.org/plugins/scmsvn/viewcvs.php/trunk/README.txt?root=ocamlcore-theme&view=auto">README</a> file to know how to proceed... the OCamlCore.org Team. 0 0 1970-01-01 00:00 No Moderation
 ssh-access-to-forge.ocamlcore.org For security reasons, SSH access is restricted. For general information, since ocamlcore.org is online, we already have a lot of brute force attacks. There is two main security measures: * You cannot login to any *.ocamlcore.org site, using SSH, without a key. There is no password authentification. * If there is too many failed login attempt from an IP address, this IP is banned and cannot do further authentification attempt. The SSH key restriction leads to message like "Permission denied (publickey)". The IP banning leads to message like "Connection closed by foreign host". To have a valid SSH key to login into your SSH account or to access service over ssh (SVN, CVS, git, hg, darcs), you need to import a valid ssh public key. You should follow the instruction on your account page: https://forge.ocamlcore.org/account/editsshkeys.php To manage your key, you should consider editing your ~/.ssh/config and add: Host *.ocamlcore.org User XXX IdentityFile ~/.ssh/ZZZ 1 1 2008-05-14 12:32 No Moderation
 mlblock-0.1-released A playable version of mlBlock is now available for download. Please have a try! Next release will try to improve on the immersion, with music and sound effects. I might also add the only missing shape (can you find it?). 0 0 1970-01-01 00:00 No Moderation
 lazy-lists-pre-release A first module has been pre-released : Lazy Lists. This package, meant to be integrated into ExtLib, provides Haskell-style lazy lists for OCaml. 0 0 1970-01-01 00:00 No Moderation
 improved-enum-pre-release An improved version of ExtLib's Enum has been pre-released. This module, meant to replace ExtLib's Enum, provides support for representation-independent iterators. Numerous (new) utilities are part of the package, including primitives for cooperative multi-tasking, syntactic sugar, much better management of infinite structures, etc. 0 0 1970-01-01 00:00 No Moderation
 ocamlcore.org-ssh-ssl-key-update-and-gforge-upgrade -- SSH/SSL issue -- On 2008/05/14, a grave bug in Debian OpenSSL package has been discovered. This implies that every SSH key and SSL certificate generated since 2006 are weak. As of today, we have secured the certificate on ocamlcore.org site. In particular, the new fingerprint are: SSH DSA key fingerprint of forge.ocamlcore.org 39:70:8d:ed:09:db:79:46:f5:2e:5d:a9:6c:28:a1:73 SSH RSA key fingerprint of forge.ocamlcore.org 07:e8:ea:4f:ed:4f:62:a6:c5:66:78:5b:b3:bb:00:36 SHA1 SSL certificate fingerprint of forge.ocamlcore.org 13:37:45:AE:5A:F4:6F:5E:EA:37:BF:A3:DA:B3:D7:55:E8:BE:1E:B1 Every SSH key of user should be updated, if they are weak key. Use "ssh-keyvuln" in the latest openssh debian package, to check if your key is weak or not. For now, the security setup of ocamlcore.org made brute force attack complicated (DenyHost will forbid too many authentication failures, which made brute force attack a little bit more complicated -- thouhg not impossible). So we will let people connect using their key until the end of the week. After 2008/05/17, we will enable OpenSSH weak key blacklist, that will prevent any connection using a weak key. You should have updated your key before this date. -- GForge upgrade -- On 2008/05/15, in the morning a security update of GForge has been installed automatically. This update has broken some part of the ocamlcore.org configuration leading to bring down the HTTP server. The site is now back online, but project should check that everything is correct on their side (e.g. that their CVS/SVN is not broken). This Gforge update has lead to update the chroot that we have customized over the time. We have checked everything against the last backup of the chroot, but it is better to double check. In particular, the chroot contains CVS/SVN file. We are sorry for the delay, which are mainly due to getting a new SSL certificate from our certificate authority (which is actually under an heavy load due to the SSL security issue). the OCamlCore.org Team. The signed version of this document with Sylvain Le Gall GPG key: https://forge.ocamlcore.org/docman/view.php/1/3/announce-upgrade.txt.asc 1 1 2008-05-20 19:33 No Moderation
 obus-0.1-released The first usable version of OBus has been released. OBus is a pure implementation of the DBus protocol plus a tool for generating high-level interfaces. It currently support code generation for client-side use. 0 0 1970-01-01 00:00 No Moderation
 version-0.2-released. The first few files of this early release of the library are available. Not very functional yet, but does allow the generation of any of the 256 elementary cellular automata. 0 0 1970-01-01 00:00 No Moderation
 first-complete-release--1.5- This release supports both native and bytecode libraries, and both 32 and 64 bit integers are supported. The README has compiling instructions. 0 0 1970-01-01 00:00 No Moderation
 ocamlcore.org-news-and-tips Some changes has been made to planet.ocamlcore.org. The possibility to subscribe using a form has been disabled, because spammers had found this useful too. Asking to be part of the planet is still possible, but now you need to login into forge.ocamlcore.org and fill a bug report against project "Site Admin": https://forge.ocamlcore.org/tracker/?func=add&group_id=1&atid=101 __Tip for projects hosted on forge.ocamlcore.org__ If your project is hosted on the forge, you can publish news about this. These news are aggregated in a "Forge" feed which in turn get published on planet.ocamlcore.org. Unfortunately, it doesn't retain the name of the initial project. So if you wish to submit news for your project, you should consider adding the name of it somewhere in the title. For example, "Version 0.1" as a title is a bit problematic because when aggregated you don't know what it means. "Myproject version 0.1 released" is better. 0 0 1970-01-01 00:00 No Moderation
 ethreads-version-1.0.1-released The first early version of EThreads has been released. EThreads extends threads library. - threadless ivar and mvar - several usefull modules such as mailbox, broadcast, timeout, rpc. 0 0 1970-01-01 00:00 No Moderation
 concurrent-cell-is-released-successor-to-ethreads- 'Concurrent Cell' is a library for multi-thread programming with CML(Concurrent ML) style synchronous message passing communications. The Threads library, a part of OCaml, realizes the CML style event value, but does not support shared variables like ivar and mvar. This library implements these variables without creating any new thread. This means that ivar and mvar are lightweight and GC target. 0 0 1970-01-01 00:00 No Moderation
 first-public-release-of-lazy-lists first public release of lazy lists library is available. 0 0 1970-01-01 00:00 No Moderation
 lazy-lists-includes-support-for-parallel-lists-comprehension lazy lists includes support for parallel lists comprehension now (http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html#parallel-list-comprehensions) 0 0 1970-01-01 00:00 No Moderation
 major-bugfix-in-uintlib UIntlib 1.6 fixes a major bug in 1.5 where loading or linking more than one of the unsigned integer libraries at the same time could cause serious problems. Also I added a preprocessor for source files so that you can type, for instance, "0x300UL" instead of "(UInt64.of_string "0x300UL")". uintpre is just a text processor and so it won't work with the toplevel. 0 0 1970-01-01 00:00 No Moderation
 migrate-your-svn-repository-from-sourceforge.net The ocamlcore.org has just published a small HOWTO to migrate your subversion repository from SF.net to forge.ocamlcore.org. This HOWTO has been tested using the project ocamltex. http://forge.ocamlcore.org/docman/view.php/1/9/HOWTO-Migrate-SF-SVN-to-forge.txt 0 0 1970-01-01 00:00 No Moderation
 batteries-included-v0-available We have just released an early preview of Batteries Included. This release is essentially a demonstration of the planned organization for the project. The objective of Batteries Included is threefold: * define a standard set of libraries which may be expected on every compliant installation of OCaml * organize these libraries into a hierarchy of modules, with one source of documentation * provide a consistent API for these otherwise independent libraries. With these releases, we deal with * the Base library (i.e. the library available with Inria's OCaml distribution) * Extlib * OCamlDoc * Findlib * Godi-script. Uniformisation is barely started: there are still channels vs. inputs/ouputs, streams vs. enumerations, etc. Work is underway towards this goal and some of it is currently waiting for a green-light from ExtLib. 0 0 1970-01-01 00:00 No Moderation
 homepage-for-projects Work on project homepage activation has finished. It is now possibl to build project own website on forge.ocamlcore.org. First of all, each project has a DNS name assigned. This name is the project name followed by forge.ocamlcore.org. For example: http://pa-do.forge.ocamlcore.org/ Each project member has access to the project group website. It is located in "/home/groups/XXX/htdocs". Members have to use "ssh forge.ocamlcore.org" to access this directory and "scp" to transfer data to it. For example: /home/groups/pa-do/htdocs/ Inside this directory, there is a default "index.php". This file can be modified at will, or replaced by a "index.html". You can use PHP and CGI script -- stored in "/home/groups/XXX/cgi-bin". ocamlcore.org team 0 0 1970-01-01 00:00 No Moderation
 batteries-included-improved-documentation-available A new documentation preview for Batteries Included is now available at http://forge.ocamlcore.org/docman/index.php?group_id=17&selected_doc_group_id=49&language_id=1 . This documentation is much more complete and should be much easier to browse than the previous one. 0 0 1970-01-01 00:00 No Moderation
 batteries-included--documentation-preview-3-available Another new documentation preview for Batteries Included is now available at http://forge.ocamlcore.org/docman/index.php?group_id=17&selected_doc_group_id=49&language_id=1 . The library documentation is now very nearly complete, although a few documentation bugs remain to be squashed. 0 0 1970-01-01 00:00 No Moderation
 delimited-overloading--first-public-release. Delimited overloading is a syntax extension that enables local overloading of operators and functions. It comes with pa_infix which allows to set the precedence and associativity of operators and an improved version of macros which is compatible with overloading. We would like to thank Jane Street Capital for their support of the project. 0 0 1970-01-01 00:00 No Moderation
 batteries-included-alpha-1-available The first alpha version of OCaml Batteries Included has landed. Plenty of new features, plenty of new documentation. More details at http://dutherenverseauborddelatable.wordpress.com/ . 0 0 1970-01-01 00:00 No Moderation
 first-beta-release-of-blahcaml This is the first beta release of the Blahcaml library, providing Ocaml bindings to Blahtex. Blahtex is a C++ library that converts TeX equations into MathML. Blahcaml is dead simple to use, as there is only one function in its API. Blahcaml.unsafe_mathml_from_tex accepts a UTF8.t containing a TeX equation and returns another UTF8.t with the resulting MathML. Note that this first beta version does no sanity checking nor error handling. 0 0 1970-01-01 00:00 No Moderation
 irex-tools-svn-repository-migrated-to-ocamlforge The SVN repository for the iRex Tools has been migrated to OCamlForged and can be accessed anonymously for reading, as well as for writing by developers. 0 0 1970-01-01 00:00 No Moderation
 first-stable--1.0--release-of-blahcaml Blahcaml implements simple Ocaml wrappers for the Blahtex library. Blahtex is aimed at the conversion of TeX equations into MathML format. This is the first stable release of Blahcaml. It adds support for a "safe" conversion, one that validates the generated MathML against the official MathML2 DTD. 0 0 1970-01-01 00:00 No Moderation
 estring-0.1 estring is syntax extension which aim to provide a way to have different representation for strings. According to a specifier located before the string it is able to convert it to a list of characters, a list of unicode characters, a printing/scanning expression. It comes with a small library which define some useful functions for dealing with strings seen as list of characters, and also define new printf and scanf facilities which can be extended by defining new printers/scanners. 0 0 1970-01-01 00:00 No Moderation
 preview-release-of-camlbz2-available CamlBZ2 (which supersedes the former "GZ" project) has released its first preview release, version 0.5.99 (i.e., 0.6.0~alpha). 0 0 1970-01-01 00:00 No Moderation
 git-hosting-available forge.ocamlcore.org now supports Git hosting. Now you can request Git (http://git.or.cz) as the Version Control System for your project. You will get a "shared" Git repository to which members of your project will be able to push (via git+ssh). Also, you will get a Gitweb instance, see for example the projects currently browseable at http://git.ocamlcore.org. As the only current minor nuisance, the Git repository will not be integrated in the Forge web interface (but you can add links to it from your project homepage, as usual). To request Git hosting please submit a feature request using the siteadmin tracker (https://forge.ocamlcore.org/tracker/?atid=102&group_id=1), specifying the project you are requesting Git hosting for. 0 0 1970-01-01 00:00 No Moderation
 batteries-included-moved-to-git We have recently completed our move from Svn to the more powerful Git. From now on, you may follow the progress on Batteries Included at http://git.ocamlcore.org/cgi-bin/gitweb.cgi?p=batteries/batteries.git . 0 0 1970-01-01 00:00 No Moderation
 release-of-camlbz2-0.6.0 CamlBZ2 0.6.0 has just been released, it is feature complete with respect to the bzip2 support that was previously available with "GZ". More is coming with the forecoming 0.7.0 release: bindings of the low-level compression API for greater flexibility in what/where to compress. 0 0 1970-01-01 00:00 No Moderation
 batteries-homepage Batteries now has a (minimal) homepage. You can visit it at http://batteries.forge.ocamlcore.org . Please link to it to reference OCaml Batteries Inclued from elsewhere. 0 0 1970-01-01 00:00 No Moderation
 batteries-alpha-2-released OCaml Batteries Included Alpha 2 is now available for download at http://forge.ocamlcore.org/frs/?group_id=17&release_id=54 . You may read the complete documentation at http://batteries.forge.ocamlcore.org/doc.preview/batteries-alpha2/doc/batteries/html/ . For expanded release notes, see http://dutherenverseauborddelatable.wordpress.com/2008/11/10/ocaml-batteries-included-alpha-2-has-landed/ . 0 0 1970-01-01 00:00 No Moderation
 delimited-overloading--version-0.7-released This version features: - Better optimizations for complex numbers; - More examples; - Improvements to the documentation. Comments, bug reports, and patches welcome! 0 0 1970-01-01 00:00 No Moderation
 irex-tools-version-0.1-released Version 0.1 brings the first version of the scribble merger that can be used in real life. There are also some initial file utilities. 0 0 1970-01-01 00:00 No Moderation
 irex-tools-version-0.2-released It's faster, more complete and more correct;). 1 1 2009-01-23 20:24 No Moderation
 optcomp-1.0 Stable release of optcomp, a camlp4 extension for optional compilation with cpp-like directives. for more details about optcomp, you can read http://optcomp.forge.ocamlcore.org/README 0 0 1970-01-01 00:00 No Moderation
 delimited-overloading--version-0.8-released Improvements: - ocamlfind installation; - Concrete syntax for bigarrays; - Overloadings for Hashtbl and String; - More optimizations and examples. 0 0 1970-01-01 00:00 No Moderation
 concurrent-cell-1.4.0-is-released - A serious bug was found in Mbox.pop. Update recommended. - add 'future' event. 0 0 1970-01-01 00:00 No Moderation
 poll--hosting-of-ocamlcore.org-at-ovh-renewal On January the 15th, OCamlCore will have to renew his hosting contract with OVH. So this is the good time to ask if OCamlCore.org has enough "horsepower" or if we should upgrade the service. We should see at least two points: * using a small server allow to spend less money and less power * using a bigger server allow to host more project So if you have any problem in the past with some resource limitation of ocamlcore.org please, leave a comment to this post so that we can see if we need to upgrade. Sylvain Le Gall for OCamlCore.org admin team 1 1 2009-01-12 21:13 No Moderation
 ocamlduce-3.11.0.0rc1 A release candidate of OCamlDuce 3.11.0.0, based on OCaml 3.11.0, is available. Embedded documentation is not yet up-to-date. Please have a look at: https://forge.ocamlcore.org/frs/shownotes.php?release_id=69 0 0 1970-01-01 00:00 No Moderation
 phylomel--temporarily--moved Project temporarily moved to phylomel.googlecode.com (just have to fix ssh connexion problem) 0 0 1970-01-01 00:00 No Moderation
 delimited-overloading---computer-assisted-proofs. A new example has been added to show how the use of Delimited Overloading can ease the writing of code for a computer assisted proof. You can see an interplay between various "levels of abstraction" (intervals, polynomials, analytic functions) and appreciate the clarity of the mathematical expressions that Delimited Overloding enables. See http://forge.ocamlcore.org/plugins/scmsvn/viewcvs.php/trunk/examples/comp_assit_proof/?root=pa-do The code is based on the paper http://pcc2341f.unige.ch/publications/paper020/94-394_ps.pdf 0 0 1970-01-01 00:00 No Moderation
 first-release-of-melt---latex-with-ocaml Melt is a set of libraries and tools which allows you to program LaTeX documents using OCaml. This combines the typesetting power of LaTeX with the programming power of OCaml. It can be combined with Mlpost to include figures. This is the first release of Melt. Thus, it might not be considered as truly stable. However, several documents, including articles and slides, have already been produced using Melt, so it is definitely usable. The documentation is included in the distribution (read the README). Some examples can be found in the "bench" directory. 0 0 1970-01-01 00:00 No Moderation
 batteries-alpha-3-released OCaml Batteries Included Alpha 3 is now available for download at http://forge.ocamlcore.org/frs/?group_id=17&release_id=73 . You may read the complete documentation at http://batteries.forge.ocamlcore.org/doc.preview:batteries-alpha3/html/index.html . For expanded release notes, see http://dutherenverseauborddelatable.wordpress.com/2009/02/06/ocaml-batteries-included-alpha-3/ . 0 0 1970-01-01 00:00 No Moderation
 delimited-overloading--version-0.8.3-released What is new: - Overload record fields (concrete syntax); - Improvements to the overloadings of standard integer modules; - OVERLOAD X = Y; - Sources of the OCaml meeting 09 talk. - New examples. 0 0 1970-01-01 00:00 No Moderation
 melt-1.0.1 Melt 1.0.1 has been released. It should now compile and be usable on more configurations, with or without Mlpost. 0 0 1970-01-01 00:00 No Moderation
 camlbz2-api-reference-available-on-the-web The ocamldoc API reference in HTML format for CamlBZ2 is now available at http://camlbz2.forge.ocamlcore.org/api/ . It is also available from the doc manager of the CamlBZ2 forge project. 0 0 1970-01-01 00:00 No Moderation
 easyocaml--documentation-and-port-to-3.11 Comprehend documentation is now available for EasyOCaml. Additionally ported to the ocaml-3.11 source tree (in SVN). 0 0 1970-01-01 00:00 No Moderation
 env-now-on-forge.ocamlcore.org Env, a small OCaml library implementing environments (mapping over identifiers), is now available from forge.ocamlcore.org. It is still available from its old webpage for a while: http://www.lri.fr/~signoles/prog.en.html#env 0 0 1970-01-01 00:00 No Moderation
 mvc-now-on-forge.ocamlcore.org MVC, a small OCaml library providing a generic implementation of the design pattern Model-View-Controller, is now available from forge.ocamlcore.org. It is still available from its old webpage for a while: http://www.lri.fr/~signoles/prog.en.html#mvc 0 0 1970-01-01 00:00 No Moderation
 calendar-now-on-forge.ocamlcore.org Calendar, an OCaml library managing dates and times, is now available from forge.ocamlcore.org. It is still available from its old webpage for a while: http://www.lri.fr/~signoles/prog.en.html#calendar It is also accessible via GODI. 0 0 1970-01-01 00:00 No Moderation
 first-release HLVM has been released! Download it from the SVN repository. 0 0 1970-01-01 00:00 No Moderation
 fixed-gc The latest version of HLVM can collect deep heaps without stack overflowing. 0 0 1970-01-01 00:00 No Moderation
 first-release-of-fury-puyo--a-furious-puzzle-game Fury Puyo is a clone of Puyo Puyo, which is a puzzle game (i.e. a Tetris-like) where you group blocks of the same color to build huge chains and combos. Version 0.1 has just been released, and it features a playable single player game. The game is written using OcamlSDL. I'm already quite happy with the feeling of the game. However, rules, graphism and so on will most likely change a lot in the future. Multiplayer is high on my list of priorities. 0 0 1970-01-01 00:00 No Moderation
 gc-optimizations-in-hlvm The GC has been optimized and is now sufficient for general use. Benchmarks show HLVM running no more than 5x slower than OCaml on heavily-allocating code. 0 0 1970-01-01 00:00 No Moderation
 standalone-compilation-in-hlvm HLVM has been extended to support standalone compilation as well as JIT compilation. In particular, standalone compilation allows the use of LLVM's opt tool for optimizing LLVM IR and that improves performance on the HLVM test suite by up to 80%! 0 0 1970-01-01 00:00 No Moderation
 melt-1.1.0 Version 1.1.0 of Melt, the tool to write LaTeX documents in OCaml, has been released. Its main changes are: a better configuration tool, a very handy pseudocode Verbatim tool, more LaTeX commands and of course the mandatory bugfixes. The complete set of changes can be seen here: https://forge.ocamlcore.org/frs/shownotes.php?release_id=115 0 0 1970-01-01 00:00 No Moderation
 optimizations-in-hlvm HLVM now includes a simple term rewriter designed to support local optimization passes as well as a loop unrolling optimization pass. The GC has also been optimized to record only addresses internally rather than (triple-word) references. Unrolling is very beneficial in HLVM because it amortizes the cost of updating the shadow stack. Consequently, HLVM is now significantly faster than ocamlopt on all of the numerical benchmarks included in the HLVM test suite. 0 0 1970-01-01 00:00 No Moderation
 hlvm-documentation The docs.sh script in HLVM now generates HTML documentation for the entire VM in the /docs directory. 0 0 1970-01-01 00:00 No Moderation
 front-end-for-hlvm Now that HLVM is maturing we have begun a sub-project to develop an example front-end. The current implementation is a simple calculator that evaluates expressions using JIT compilation. Alp Mestan has joined the HLVM team and intends to start by developing the HLVM top-level into a complete programming language. This will serve as an excellent example for anyone developing a front end for HLVM and will also help us to make HLVM even friendlier for language implementors. 0 0 1970-01-01 00:00 No Moderation
 ocaml-autoconf-1.0-is-out We have just released version 1.0 of ocaml-autoconf. It is the first official release since the start of the forge project. This version basically integrates all the previous "legacy" work which was floating around in separate autoconf macros, and adds support for more recent tools appeared in the latest OCaml releases. Give it a try and send us feedback! Note that the license is BSD-like, so you can integrate the macros in your project without virality fears ... do not forget to check for updates though ;-) 0 0 1970-01-01 00:00 No Moderation
 ospec-0.1.0-released This is the first public release of OSpec, a Behavior-Driven Development library for OCaml. It includes a Camlp4 syntax extension for writing expectations and a command line tool to run and report test results. 0 0 1970-01-01 00:00 No Moderation
 batteries-beta-1-released After numerous sleepless nights, the OCaml Batteries Included team is happy to inform you of the release of version Beta 1. Barring any bugfix, this release should mark API and syntax freeze. You may download the source tarball from the Forge [1], read the on-line API documentation [2] or the extended release notes [3]. Thanks to all the members of the team. We're waiting for your feedback and bug reports! [1] http://forge.ocamlcore.org/frs/?group_id=17&release_id=117 [2] http://batteries.forge.ocamlcore.org/doc.preview:batteries-beta1/html/api/index.html [3] http://dutherenverseauborddelatable.wordpress.com/2009/04/06/ocaml-batteries-included-beta-1/ 2 4 2009-06-08 20:01 No Moderation
 delimited-overloading--pa_do---version-0.8.5-released - Much improved complex optimizations (including accross let-bindings and evaluating constant expressions at compilation time) coming with several more test cases. - [expr_fold] to allows to add transformations that carry information down the AST. - Fixes for compatibility with OCaml 3.11.0. - META and toplevel improvements. - Hooks for constructions like M.[e] and M.{e}. - Several bug fixes. 0 0 1970-01-01 00:00 No Moderation
 litiom-1.0-released The Ocsigen project already includes Eliom, a web programming framework for the Ocaml language. Eliom provides a solid and extensive foundation for building highly dynamic sites. Litiom aims to complement Eliom, offering higher-level modules codifying a number of common patterns found in web sites. (The name of the project comes from the fact that Lithium follows Helium in the periodic table of elements). Presently, Litiom includes two modules: Litiom_blocks and Litiom_wizard. The former is based on the realisation that many web sites are composed of fairly independent boxes arranged in a hierarchy. With Litiom_blocks, the user provides the contents for each box, together with its relation to other boxes in the web site hierarchy tree. The module automatically takes care of spawning Lwt threads in such a way that independent branches of the tree are executed in parallel. As for the latter, it aims to simplify the construction of sites relying on wizard-like interactions. It is based on the fact that most wizards follow a fairly repetitive pattern. 0 0 1970-01-01 00:00 No Moderation
 ospec-0.2.0-released OSpec 0.2.0 has just been released, featuring support for nested specifications and property testing. 0 0 1970-01-01 00:00 No Moderation
 hlvm-beta-0.4-release A tarball of the latest source release with reliability and performance improvements is now available. See: http://flyingfrogblog.blogspot.com/2009/03/performance-ocaml-vs-hlvm-beta-04.html 0 0 1970-01-01 00:00 No Moderation
 0.1.3-sources-now-in-subversion The 0.1.3 ocaml-http sources are now in subversion. This starts the ocamlforge development of these sources from the ocaml-http original site. 0 0 1970-01-01 00:00 No Moderation
 ocaml-text Have you ever tried to play to with other things than latin-1 strings and found it painfull ? OCaml-Text try to to change that. It supports: - easy encoding/decoding of text - a lot of functions for manipulation of UTF-8 encoded strings - locale-specific text functions (compare, upper, is_alpha, ...) It is composed of only two modules: - "Encoding" for encoding/decoding text - "Text" for text manipulation And i hope ocaml-text is easy to use and interacts well with other projects. 0 0 1970-01-01 00:00 No Moderation
 call-for-translators-of-the-unix-system-programming-course Hello, We are launching an effort to translate Xavier Leroy and Didier Rémy's course on Unix system programming in Objective Caml [1]. We are looking for one translator and one proofreader for each of the seven main chapters. To facilitate the task of proof readers and get the best translation preference will be given to native english speaking contributors. If you are interested in participating please email me privately (daniel.buenzl i@erratique.ch) with the following information : chapter you'd like to translate/proofread and whether your are a native english speaker or not. The work of the translators will be published online as html and pdf documents at this adress [2] under a Creative Commons BY-NC-SA french license [3]. Note that the non commercial aspect of the license doesn't preclude a subsequent publication of the result as a (non free as in wine) book. However in that case an agreement would be sought between the authors, the translators and the publisher. Thanks for your help, Daniel [1] http://pauillac.inria.fr/~remy/poly/system/camlunix/index.html [2] http://ocamlunix.forge.ocamlcore.org/ [3] http://creativecommons.org/licenses/by-nc-sa/2.0/fr/deed.en 0 0 1970-01-01 00:00 No Moderation
 ocaml-metrics-beta--0.51--released OCaml Metrics is a simple OCaml code analysis tool. You can use it to check how easy to maintain your code is. 0 0 1970-01-01 00:00 No Moderation
 ocamlduce-3.11.1.0 A new version of OCamlDuce, a merger of OCaml and CDuce that extends OCaml with XML types, has been released. The changes from the previous version (3.11.0.0rc1) are: - merge with OCaml 3.11.1 - remove some GNUisms [Jaap Boender] - fix -annot [Boris Yakobowski] 0 0 1970-01-01 00:00 No Moderation
 new-hlvm-examples We've added two new example compilers using HLVM: a calculator and a REPL for a tiny programming language with tuples. 0 0 1970-01-01 00:00 No Moderation
 concurrent-cell-now-supports--dvar. Concurrent Cell version 2.0.0 now supports Dvar. Module [Dvar] provides a kind of mutable variable that can make dependency between variables. Thease dependency be resolved automatically when a variable's value is updated. This system is similar to Functional Reactive Programming. 0 0 1970-01-01 00:00 No Moderation
 regstab-first-release RegSTAB is a SAT-solver able to deal with formula schemata. i.e. you can give it a scheme of formula such as "/\i=1..n P_i -> P_i+1" and it will be able to answer you if *all the formulas of this form (i.e. for every value of n) are unsatisfiable*. 0 0 1970-01-01 00:00 No Moderation
 new-release-0.7 We are proud to release Version 0.7 of mlpost. It contains lots of new features, small changes and bugfixes and a new backend, based on Cairo. See the details in the Changelog. Mlpost can be downloaded from the Files section of its OcamlForge site, or on http://mlpost.lri.fr/. 0 0 1970-01-01 00:00 No Moderation
 mlpost--bugfix-release-0.7.1 Only one day after the release of version 0.7, we release version 0.7.1, containing the fix for a performance bug. You really should upgrade, the old version is very slow in the common case of deeply nested boxes. 0 0 1970-01-01 00:00 No Moderation
 camlhighlight-0.8-released This release introduces slight changes to the internal representation and API. Moreover, we now provide direct bindings to the library portion of Highlight 2.10, instead of just parsing the output of Highlight's executable. The code is stable, and hopefully no further core/API changes will be required before a 1.0 release. 0 0 1970-01-01 00:00 No Moderation
 regstab-new-release RegSTAB new release: performance is much improved. In case the slow performance got you away from the previous versions, give it a new try! --- RegSTAB is a SAT-solver able to deal with patterns of formulae. i.e. you can give it a pattern such as "/\i=1..n P_i -> P_i+1" and it will be able to answer you if *all the formulas of this form (i.e. for every value of n) are unsatisfiable*. In one shot :) 0 0 1970-01-01 00:00 No Moderation
 first-version-available Can be found on ocamlcore forge or at http://ocamlviz.lri.fr 0 0 1970-01-01 00:00 No Moderation
 melt-1.2.0 Version 1.2.0 of Melt, the tool to write LaTeX documents in OCaml, has been released. Its main changes are: support for Mlpost 0.7, some bugfixes, small additions to the Latex library and various minor tweaks. The complete set of changes can be seen here: https://forge.ocamlcore.org/frs/shownotes.php?release_id=173 0 0 1970-01-01 00:00 No Moderation
 mlblocks---screen-captures I have added a short description of the project alongside screen captures on http://mlblocks.forge.ocamlcore.org so that you would not have to build it to see what it looks like. Enjoy! 0 0 1970-01-01 00:00 No Moderation
 new-ssh-host-for-cvs-svn-darcs-git-and-websites Hello, OCamlCore.org team is setting up a new vserver to replace the VERY limited chroot we have actually. On monday, the SSH key for {cvs|svn|darcs|git|shell}.forge.ocamlcore.org will change. See end of the message for the new keys. This new host will provide a more user friendly environment to manage your projects. In particular, we will add rsync and unison to the set of available tools. Post a comment if you need more tools. -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 SSH keys for ssh.ocamlcore.org: 1024 3c:a0:3a:17:66:22:01:08:7c:67:c2:49:c7:a4:55:71 /etc/ssh/ssh_host_dsa_key.pub (DSA) 2048 d8:87:7f:b3:0c:fc:ef:ea:79:e5:23:64:b9:db:02:00 /etc/ssh/ssh_host_rsa_key.pub (RSA) Sylvain Le Gall -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQIcBAEBCAAGBQJKvNtWAAoJEEe+WKJKPLha9OsP/AqdveuLUcUjmrbHMHv6xvwU KBSA4nirS4BDdyYs9INrq1VfD1V6e0O4XUid6EcQm45DPXHOLQW9FPox4YgNgTlW eHKgU6NbUVRGq+eHTpiW5YlMGePi5+5T9hCR8KHoKUIfslYWZhVt0NGKjurjff5V ezaCrVrDC6Be10u72gkWw73N0d5CUhN2Kd5jIsKllx8iojHljWXYHr+JOGsFlADx COVTTRVzul54cJxlwmO3slTBcAWKaQCmr9DBINl566llR9hpb0OWmfyNGDU/nuxG vUuiHQl0HBNAcVgdQAcqNeCmjxBxZqb91sDZ6TQfGX2WuJOoBlH3f2tgkstVQsQR VPbRxbsZxhlE6gkIIYVBHRQQCJV5CyS1LmMEwncLGy5I6YgnR6D5lzy4NltG6Ciy aQouCh6q5NIY+hmo/akOfd5EtDR8YA4I5cTUJx94DspJbnnNQf7vYmrKv2fqZHEc fvXD/it8aTqhzv5qwi5tsCafFYYUYQMBrZjuWK0PUfzXe7J6g8VV/sP1GbUijBnt cSLlQkEezDxDAbHieDelYhqRyN+PNAcBNvy8G0c9krV5ZfuNoDdsdTC4cvXJ8DVF wopDAzT6jkPktmevn9bEozoGM2hVGSVZY0ipzUpFi5bWQKGLaW7j/mPVg5e0lEYv HVFF31EhKHDdVP1W9c4k =IjDD -----END PGP SIGNATURE----- 1 1 2009-09-28 12:16 No Moderation
 pa_polyrec-0.1-released pa_polyrec 0.1 released. Here is the announcement on caml-list: http://groups.google.com/group/fa.caml/msg/5ce4b0fd64274416 0 0 1970-01-01 00:00 No Moderation
 ssh.ocamlcore.org-is-alive We finish the setup of ssh.ocamlcore.org. This new host provide all the shell services of the forge. In particular, git/darcs/bzr/cvs/svn will now use it. If you have any problems, please fill a bug here: https://forge.ocamlcore.org/tracker/?atid=101&group_id=1&func=browse This new host also provides more features than the very limited shell environment of the former chroot. In particular, you now have rsync/unison and vi. These new utilities should help you manage your project webpages. For the OCamlCore.org team Sylvain Le Gall 0 0 1970-01-01 00:00 No Moderation
 regstab-1.4 RegSTAB install is much easier. As a consequence it now works natively on Windows, and does not require Ocaml 3.11 anymore. 0 0 1970-01-01 00:00 No Moderation
 new-ip-for--.ocamlcore.org Since 2 years, ocamlcore.org is sharing resources with ocamlcore.com. In particular, we are sharing the same IP address. Having the same IP cause a lot of complication. We need to forward traffic from ocamlcore.com to ocamlcore.org for services which are common (SMTP, http). Starting from this week, we will migrate ocamlcore.org to a new IP address: 87.98.154.45. The update will take time to propagate and can cause various problems. If you encounter any problems, contact a member of the OCamlCore.org team, directly if SMTP is down or submit a bug to Site Admin project: https://forge.ocamlcore.org/tracker/?atid=101&group_id=1&func=browse Regards Sylvain Le Gall, for OCamlCore.org team OCamlCore.org team: Mehdi Dogguy Pietro Abate Romain Beauxis Stefano Zacchiroli Stéphane Glondu Sylvain Le Gall 0 0 1970-01-01 00:00 No Moderation
 mlpost--bugfix-release-0.7.2 We release mlpost 0.7.2. It contains only minor bug fixes and changes. 0 0 1970-01-01 00:00 No Moderation
 obus-1.0rc1-is-out- The first stable version of OBus has been released. 0 0 1970-01-01 00:00 No Moderation
 new-ocaml-autoconf-release--1.1 OCaml Autoconf 1.1 has just been released. It features a couple of new macros (checking OS Type and word sizes), it fixes some bugs (e.g. it avoid redefining OCAMLLIB if previous set), and it features new documentation in the form of a mini-tutorial and a complete autoconf/automake example. 0 0 1970-01-01 00:00 No Moderation
 mindstorm-library-version-0.5.2 The library allowing to control LEGO mindstorms from OCaml has moved to OCamlForge. You can see some robots build with this at http://ocaml-mindstorm.forge.ocamlcore.org/users.html and videos at http://www.youtube.com/watch?v=Q56vuWgLulA and http://www.youtube.com/watch?v=ZDlFVQSkmbE Enjoy! 0 0 1970-01-01 00:00 No Moderation
 ocaml-meeting-2010-poll Hello, OCaml Meeting 2010 is the third meeting of OCaml enthusiasts in France. This year OCaml Meeting in France is back in Paris. We choose to organize it on 16th or 17th April to avoid any conflicts with JFLA and other events (including French holiday). We open a poll to know what attendants want: https://forge.ocamlcore.org/survey/survey.php?group_id=77&survey_id=1 You need to login to answer the poll. It will remain open for a week (ending Wednesday 28th October). It will help us to choose the best date for the the meeting. Sylvain Le Gall on behalf of OCaml Meeting 2010 organization team. 0 0 1970-01-01 00:00 No Moderation
 new-hlvm-gc-and-llvm-2.6-support HLVM has been updated to work with the new LLVM 2.6 release and with a new GC that stores mark state in the heap rather than in a hash table. 0 0 1970-01-01 00:00 No Moderation
 fury-puyo-0.4 Fury Puyo 0.4 has been released. The main new features of this version are: multiplayer games, replays, sandbox mode, and some new sprites. The online mode features an account-based highscore list (so you can view your friends' high scores in single player mode), and multiplayer games. The server can handle several games at the same time. A game can have several players at the same time. You may team up and give a handicap to stronger players. Replays are automatically saved in the ~/.furypuyo directory. View them by launching furypuyo with the "-replay <filename>" option. The sandbox mode is a single player mode where no garbage is sent to you, and you have all the time you want to think before placing a piece (you make the piece drop yourself with the down arrow or the spacebar). 0 0 1970-01-01 00:00 No Moderation
 -.ocamlcore.org-migration-to-lenny The administration team will proceed next monday (2009/12/01) to a distribution upgrade of ocamlcore.org (Etch -> Lenny). This can lead to many bugs. Tomorrow (2009/11/25), we will proceed to an upgrade of dom0 (ocamlcore.com) and reboot of the ocamlcore.org server. At this time, we will also suppress some redirection like the reverse proxy for the website. This also can lead to many bugs. Please feel free to submit a bug to site admin project or contact me directly "sylvain @pas de pourriel@ le-gall.net", if you cannot submit bugs: https://forge.ocamlcore.org/tracker/?atid=101&group_id=1&func=browse Regards Sylvain Le Gall on behalf of ocamlcore.org team 0 0 1970-01-01 00:00 No Moderation
 csv-module-1.2.0-released A new version of the CSV module (which unsurprisingly allows to read and write files in the CSV format) has been released. It supersedes -- but is compatible with -- the CSV module <http://merjis.com/developers/csv>. Improvements include the possibility of reading CSV files record by record and to use input/output object channels. Enjoy ! 0 0 1970-01-01 00:00 No Moderation
 parallel-programming-in-hlvm HLVM now supports threads and allows them to run in parallel using a simple stop-the-world mark+sweep GC, making it possible to do parallel programming in HLVM for the first time! 0 0 1970-01-01 00:00 No Moderation
 -.ocamlcore.org-migration-to-lenny-finished OCamlCore.org team has just finished the migration to Lenny. Most of the visible services seem to be running correctly. Please submit bugs to Site admin project or contact sylvain @no-pourriel@ le-gall.net if you encounter any errors in ocamlcore.org sites: https://forge.ocamlcore.org/tracker/?atid=101&group_id=1&func=browse Sylvain Le Gall on behalf of the OCamlCore.org administration team 0 0 1970-01-01 00:00 No Moderation
 ld.ocaml-0.2.1-released ld.ocaml is a dynamic linker/loader for OCaml. It does for native plugins (Dynlink's .cmxs files) what ld.so does for shared libs: it infers the cmxs libs needed by the program object(s), locates them and then loads them all in the required order. ld.ocaml 0.2.1 is the first public release. It has been tested with OCaml 3.11.1 on Linux x86 and Linux x86_64. 0 0 1970-01-01 00:00 No Moderation
 regstab-1.4.2-released-- -Fixed some bugs occurring in trivial cases -Fixed bugs that could cause non-termination -Improved parser messages when the schema is irregular -Improved information when the schema is satisfiable 0 0 1970-01-01 00:00 No Moderation
 calendar-2.02-released Hello, A new release of calendar (version 2.02) is out, as well as the new home page: http://calendar.forge.ocamlcore.org Changes are: o [License] add the usual Ocaml linking exception in the license o [Calendar] Calendar_sig.Period.to_time is deprecated. Replaced by a new function Calendar_sig.Period.safe_to_time o [Date] Date.Period.nb_days is deprecated. Replaced by a new function Date.Period.safe_nb_days o [Compilation] calendarLib.cmxs provided if ocaml >= 3.11 is installed (patch of Mehdi Dogguy) o [Date] new functions Date.make_year and Date.make_year_month o [Date] improve memory representation of Date.Period.t * [Compilation] remove installation of packed *.cmi * [Compilation] bug fixed under Cygwin * [Compilation] META files was incorrect, so "ocamlfind ocamlopt" did not work * [Compilation] file date_sig.mli, time_sig.mli and calendar_sig.mli was not properly linked Have fun with calendar, Julien Signoles 0 0 1970-01-01 00:00 No Moderation
 public-release-of-aaa-batteries After stewing for some months, we are finally ready to present the community with AAA-batteries, a stripped down version of the Batteries Included project with fewer dependencies and a more understandable architecture. The batteries project isn't dead, it just had to reorganize a bit. Let us know what you want at http://github.com/thelema/AAA-batteries/issues/ and let us know what you'll help with on #ocaml on irc.freenode.net. 0 0 1970-01-01 00:00 No Moderation
 ocaml-mysql-1.1.0-released New release of OCaml bindings to access MySQL databases is out. This release fixes crash bugs and adds preliminary support for prepared statements. Project homepage is now at http://ocaml-mysql.forge.ocamlcore.org Previous release 1.0.4 (made by Shawn Wagner) is available at http://raevnos.pennmush.org/code/ocaml-mysql/ 0 0 1970-01-01 00:00 No Moderation
 concurrent-cell-supports-frp--beta-version- New beta release of concurrent cell supports FRP(functional Reactive Programming). Two modules (Frp.TimeVaryReact and Frp.TimeVaryEvent) has thread safe functions below: module Frp : sig module rec TimeVaryReact : sig type 'a t val make : ?src:'a Mbox.t -> 'a -> 'a t * ('a -> unit) val return : 'a -> 'a t val read : 'a t -> 'a val map : ('a -> 'b) -> 'a t -> 'b t val map2 : ('a -> 'b -> 'c) -> 'a t -> 'b t -> 'c t val app : ('a -> 'b) t -> 'a t -> 'b t val join : 'a t t -> 'a t val switch : 'a t -> 'a t TimeVaryEvent.t -> 'a t val bind : 'a t -> ('a -> 'b t) -> 'b t val accum : 'a -> ('a -> 'a) TimeVaryEvent.t -> 'a t val fold : ('a -> 'b -> 'a) -> 'a -> 'b TimeVaryEvent.t -> 'a t val changes : ?eq:('a -> 'a -> bool) -> 'a t -> 'a TimeVaryEvent.t val history : int -> 'a t -> 'a list t end and TimeVaryEvent : sig type 'a t val make : ?src:'a Mbox.t -> unit -> 'a t * ('a -> unit) val map : ('a -> 'b) -> 'a t -> 'b t val listen : ('a -> unit) -> 'a t -> unit val map2 : ('a -> 'b -> 'c) -> 'a t -> 'b t -> 'c t val merge : 'a t -> 'a t -> 'a t val filter : ('a -> bool) -> 'a t -> 'a t val fmap : ('a -> 'b option) -> 'a t -> 'b t val join : 'a t t -> 'a t val accum : 'a -> ('a -> 'a) t -> 'a t val fold : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a t val select : 'a t list -> 'a t val switch : 'a t -> 'a t t -> 'a t val history : int -> 'a t -> 'a list t val with_prev : 'a t -> ('a * 'a) t val changes : ?eq:('a -> 'a -> bool) -> 'a t -> 'a t val merge : 'a t -> 'a t -> 'a t val filter : ('a -> bool) -> 'a t -> 'a t val fmap : ('a -> 'b option) -> 'a t -> 'b t val join : 'a t t -> 'a t val accum : 'a -> ('a -> 'a) t -> 'a t val fold : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a t val select : 'a t list -> 'a t val switch : 'a t -> 'a t t -> 'a t val history : int -> 'a t -> 'a list t val with_prev : 'a t -> ('a * 'a) t val changes : ?eq:('a -> 'a -> bool) -> 'a t -> 'a t end 0 0 1970-01-01 00:00 No Moderation
 high-performance-parallelism-with-hlvm The first-working version of parallelism in HLVM was very inefficient due to repeated fetching of thread-local data via pthreads. The latest update passes thread-local data to every function in an auxiliary argument and achieves production-level performance: 2× faster than OCaml on average over non-list benchmarks. 0 0 1970-01-01 00:00 No Moderation
 ocaml-meeting-2010-inscription-is-opened For the third time, I am proud to invite all OCaml enthusiasts to join us at OCaml Meeting 2010 in Paris. This year event takes place in Paris and tries to avoid collision with all other events. It will be on Friday 16th April 2010. Subscription is opened today and will be closed on Friday 2nd April 2010. As last year, participants are invited to give a talk on what they are doing with OCaml, submit a description of your talk on the wiki or contact me. The meeting is sponsored by INRIA CAML Consortium and OCamlCore. Participation for lunch is covered by the Consortium, you just need to subscribe. The facility can only host 80 people, so we will have to filter the list of participants if there are more people. We will give priority to people giving a talk and coming from abroad. Volunteers to help before/during the event can contact me directly. We are particularly looking for a video team. You can also forward this invitation to any groups that can be interested in (Haskell user group, CUFP mailing list...) Further information: http://wiki.cocan.org/events/europe/ocamlmeetingparis2010 For people who need further information, you can contact me (see wiki.cocan.org for contact details). The day after OCaml Meeting, Mehdi Dogguy from PPS helps me to organize an informal day where OCaml teams can meet to work. There will be internet access and a blackboard in each room. We will have 2 classrooms (each classroom can host 45 persons). Inscription will is free, stay tuned. Hope to see a lot of you Regards Sylvain Le Gall on behalf of the OCaml Meeting organization team. 0 0 1970-01-01 00:00 No Moderation
 batteries-included-1.0.0 The Batteries Included project has come under new management since David Teller moved on. The project has gone through a process of reorganization and is finally ready for a release. We've rethought a lot of the structure decisions of the old codebase to make it easier to use and develop. Major changes: * Builds in 10 seconds, plus 10 seconds for documentation * Depends only on Camomile and Findlib * Syntax Extensions now optional * Less magic in build system * Allows smaller executable creation We're using OMake instead of ocamlbuild and a much more stock ocamldoc for documentation generation. All the modules we provide are standard modules, no [module Array = struct include Array ... end] magic except in batteries.ml which ties everything together for convenience. Of course there's a bunch of bug fixes and additional functions. We're using Semantic Versioning (http://semver.org/) for version numbers, meaning we're taking backwards compatibility very seriously. This is our 1.0.0 release, but we don't expect to stay at it very long. We're looking forward to fixing any bugs you find. To use: Download: https://forge.ocamlcore.org/frs/download.php/346/batteries-1.0.0.tar.gz Documentation: http://thelema.github.com/batteries-included/hdoc To contribute: Mailing list: https://lists.forge.ocamlcore.org/cgi-bin/listinfo/batteries-devel Issue Tracker: http://github.com/thelema/batteries-included/issues Code: git://github.com/thelema/batteries-included.git [1] Like the small batteries used in TV remote controls 0 0 1970-01-01 00:00 No Moderation
 macaque-beta-3-released Macaque has been released to ocamlcore at Beta 2 : this is the first release building on user feedback. Many thanks to flux on #ocaml for the motivating feature requests. 0 0 1970-01-01 00:00 No Moderation
 hlvm-on-the-ray-tracer-language-comparison The first working serial version of our ray tracer written in HLVM already provides blistering performance and excellent memory consumption: http://flyingfrogblog.blogspot.com/2010/01/hlvm-on-ray-tracer-language-comparison.html The next challenge is to parallelize the HLVM implementation! 0 0 1970-01-01 00:00 No Moderation
 fury-puyo-0.5 Fury Puyo, the "furious" puzzle game, has reached version 0.5. You may now view the playfield of other players! You can also use the classic dropset (only pairs of puyos) if you're an old-timer of puyo games. The full list of changes follows. * in multiplayer games, you may view the opponent's playfield (choose which opponent with the TAB key) * players may choose the classic dropset (only pairs of puyos) in sandbox mode and multiplayer games * players may change the speed of the game in sandbox mode * puyo rotations may move the puyo up but only just enough * there is only one usable invisible line, puyos on top of it are deleted * ESC key may be used to quit online mode in login screens * random puyo generator is a little less random and more friendly * in multiplayer games, all players have the same random puyos * option ALPHA in ~/.furypuyo/furypuyo.cfg allows you to disable alpha transparency (game becomes ugly but runs faster) 1 2 2010-01-26 22:39 No Moderation
 ocamlduce-3.11.2.0 A new version of OCamlDuce, a merger of OCaml and CDuce that extends OCaml with XML types, has been released. The changes from the previous version (3.11.1.0) are: - merge with OCaml 3.11.2 - build and install native-code plugin - build ocamldoc library - accept also ocaml_cmi_magic_number in objinfo 0 0 1970-01-01 00:00 No Moderation
 release-of-camlhighlight-1.0 Camlhighlight is a library offering syntax highlighting facilities for Ocsigen programmes. This is the first public stable release, and the library's API will not suffer any backwards incompatible changes for the 1.x series. 0 0 1970-01-01 00:00 No Moderation
 batteries-included-1.0.1-released This is a bugfix release, in thanks for the bugs users found in 1.0.0. Let us help you enjoy ocaml more by continuing to find bugs. 0 0 1970-01-01 00:00 No Moderation
 blahcaml-2.0-released Blahcaml offers partial bindings to the C++ library Blahtex. To be precise, only the portions of Blahtex that convert between equations in TeX format into their MathML counterparts are supported. Furthermore, Blahcaml indulges the paranoid by adding an extra layer of security that ensures the result produced by Blahtex is safe for inclusion in web pages. This is done by validating the result against the official MathML2 DTD. Version 2.0 of Blahcaml brings slight changes to the API, a migration to the latest version of Blahtex, and a new module offering direct access to the MathML2 DTD. 0 0 1970-01-01 00:00 No Moderation
 ocaml-unix-course--the-threads-chapter-is-translated Thanks to the translation of Eric Cooper and the proofreading job of Prashanth Mundkur, the threads chapter of Xavier Leroy and Didier Rémy's course on Unix system programming in Objective Caml is now available in english for your reading pleasure [1]. [1] http://ocamlunix.forge.ocamlcore.org/threads.html 0 0 1970-01-01 00:00 No Moderation
 ocaml-meeting-2010-second-call For the third time, I am proud to invite all OCaml enthusiasts to join us at OCaml Meeting 2010 in Paris. This year event takes place in Paris on Friday 16th April 2010. Subscription is opened and will be closed on Friday 2nd April 2010. Presentations include: * Enforcing Type-Safe Linking using Inter-Package Relationships for OCaml Debian packages * The Ocamlviz visualization toolkit * Cluster computing in Ocaml * Ocaml in a web startup * React, functional reactive programming for OCaml * OASIS, a Cabal like system for OCaml * OPA, same web, but with types and lambda As last year, participants are invited to give a talk on what they are doing with OCaml. You can submit a description of your talk on the wiki or contact me. The meeting is sponsored by INRIA, the Caml Consortium and OCamlCore. Inscription is free but the number of participants is limited. Further information and inscriptions: http://wiki.cocan.org/events/europe/ocamlmeetingparis2010 The day after OCaml Meeting, Mehdi Dogguy from PPS helps me to organize an informal day where OCaml teams can meet to work. We will have 2 classrooms, each can host 45 persons. There will be an internet access and a blackboard in each room. Inscription is free. Further information and inscriptions: http://wiki.cocan.org/events/europe/ocamlhackingday2010 Volunteers willing to help before/during these events can contact me directly. We are particularly looking for a video team. You can also forward this invitation to any groups that can be interested in (Haskell user group, CUFP mailing list...) For people who need further information, you can contact me (see wiki.cocan.org for contact details). Hope to see a lot of you Regards Sylvain Le Gall on behalf of the OCaml Meeting organization team. 0 0 1970-01-01 00:00 No Moderation
 ocaml-unix-course--the-processes-chapter-is-translated Thanks to the translation of Mark Wong-VanHaren and the proofreading job of Anil Madhavapeddy, the processes chapter of Xavier Leroy and Didier Rémy's course on Unix system programming in Objective Caml is now available in english for your reading pleasure [1]. [1] http://ocamlunix.forge.ocamlcore.org/processes.html 0 0 1970-01-01 00:00 No Moderation
 ocaml-unix-course--the-generalities-chapter-is-translated Thanks to the translation of Eliot Handelman and the proofreading job of Prashanth Mundkur, the generalities chapter of Xavier Leroy and Didier Rémy's course on Unix system programming in Objective Caml is now available in english for your reading pleasure [1]. [1] http://ocamlunix.forge.ocamlcore.org/generalities.html 0 0 1970-01-01 00:00 No Moderation
 ocaml-unix-course--the-sockets-chapter-is-translated Thanks to the co-translation of Till Varoquaux, Priya Hattiangdi and Prashanth Mundkur and the proofreading job of Prashanth Mundkur, the sockets chapter of Xavier Leroy and Didier Rémy's course on Unix system programming in Objective Caml is now available in english for your reading pleasure [1]. [1] http://ocamlunix.forge.ocamlcore.org/sockets.html 0 0 1970-01-01 00:00 No Moderation
 camlhighlight-2.0-released For version 2.0, Camlhighlight switches the underlying bound library from Highlight [1] to GNU Source-highlight [2]. This simplifies the parsing process and hopefully makes installation easier, as more Linux distros ship with packages for GNU Source-highlight. The Ocaml API is backwards compatible with version 1.0. [1] http://www.andre-simon.de/doku/highlight/en/highlight.html [2] http://www.gnu.org/software/src-highlite/ 0 0 1970-01-01 00:00 No Moderation
 batteries-1.1.0-released New Set organization (PSet now available as Set.t), non-threaded library, bugfixes, etc. 0 0 1970-01-01 00:00 No Moderation
 ocamleditor-1.2-released http://ocamleditor.forge.ocamlcore.org/ 0 0 1970-01-01 00:00 No Moderation
 depreciated I am depreciating this project in favor of Andre Nathan's. His does everything mine does but with a better build system and also it includes 128 bit integers. http://github.com/andrenth/ocaml-uint 0 0 1970-01-01 00:00 No Moderation
 ocaml-meeting-2010--3-weeks-before-end-of-subscription For the third time, I am proud to invite all OCaml enthusiasts to join us at OCaml Meeting 2010 in Paris. This year event takes place in Paris on Friday 16th April 2010. Subscription is opened and will be closed on Friday 2nd April 2010. Presentations include: * Enforcing Type-Safe Linking using Inter-Package Relationships for OCaml Debian packages * The Ocamlviz visualization toolkit * Cluster computing in Ocaml * Ocaml in a web startup * React, functional reactive programming for OCaml * OASIS, a Cabal like system for OCaml * OPA, same web, but with types and lambda * OC4MC, Objective Caml for MultiCore * Lwt, Cooperative Light-Weight Threads * naclgrid: the collaborative rendering farm, a JoCaml-powered desktop grid The meeting is sponsored by INRIA, the Caml Consortium and OCamlCore. Inscription is free but the number of participants is limited. Further information and inscriptions: http://wiki.cocan.org/events/europe/ocamlmeetingparis2010 The day after OCaml Meeting, Mehdi Dogguy from PPS helps me to organize an informal day where OCaml teams can meet to work. We will have 2 classrooms, each can host 45 persons. There will be an internet access and a blackboard in each room. Inscription is free. Further information and inscriptions: http://wiki.cocan.org/events/europe/ocamlhackingday2010 Volunteers willing to help before/during these events can contact me directly. We are particularly looking for a video team. You can also forward this invitation to any groups that can be interested in (Haskell user group, CUFP mailing list...) For people who need further information, you can contact me (see wiki.cocan.org for contact details). Sylvain Le Gall on behalf of the OCaml Meeting organization team. 0 0 1970-01-01 00:00 No Moderation
 ocaml-meeting-2010-poll-results I know it is a bit late, but I would like to give the results of the poll for OCaml Meeting 2010. I use a weighted mean of the poll answers to sort the results. Values of the answers range from 5 to 1, weight is the matching percentage of votes. The date was chosen according to your answers, since Friday 16th April came first with a mean value of 3.85. Saturday 17th was second with 3.40. For the last hour, the demonstration time came first with 3.84, then discussion time (3.78) and lightning talks (3.62). There were 32 people that answered the poll. I thank all the OCaml community to help us choose the right options. See you at OCaml Meeting 2010 http://wiki.cocan.org/events/europe/ocamlmeetingparis2010 0 0 1970-01-01 00:00 No Moderation
 ccss-1.0-released CCSS is a preprocessor for CSS, extending the language with arithmetic operations and the possibility to declare and use variables. This is the first public release of the project. 0 0 1970-01-01 00:00 No Moderation
 ccss-1.1-released This version adds support for unit conversion. This feature is off by default; please provide command line option '--convert' (short version '-c') to activate it. 0 0 1970-01-01 00:00 No Moderation
 ocaml-unix-course--the-pipes-chapter-is-translated Thanks to the translation of Daniel Bünzli and the proofreading job of John Clements, the pipes chapter of Xavier Leroy and Didier Rémy's course on Unix system programming in Objective Caml is now available in english for your reading pleasure [1]. [1] http://ocamlunix.forge.ocamlcore.org/pipes.html 0 0 1970-01-01 00:00 No Moderation
 ocaml-unix-course--the-files-chapter-is-translated- Thanks to the translation of Richard Paradies and the proofreading job of Erik de Castro Lopo, the files chapter of Xavier Leroy and Didier Rémy's course on Unix system programming in Objective Caml is now available in english for your reading pleasure [1]. [1] http://ocamlunix.forge.ocamlcore.org/files.html 0 0 1970-01-01 00:00 No Moderation
 ocaml-unix-course--the-signals-chapter-is-translated- Thanks to the translation of Thaddeus Meyer and the proofreading job of David Allsopp, the signals chapter of Xavier Leroy and Didier Rémy's course on Unix system programming in Objective Caml is now available in english for your reading pleasure [1]. All the chapters have now been translated and proofread. But don't start your printer yet, some details need to be ironed out. An annouce will be made when the document is ready. [1] http://ocamlunix.forge.ocamlcore.org/signals.html 0 0 1970-01-01 00:00 No Moderation
 ccss-1.2-released This release improves the coverage of CSS (namely !important declarations), and adds support for some corner cases in unit handling (such as divisions between quantities with the same unit and additions/subtractions when one of the operands is the scalar 0). 0 0 1970-01-01 00:00 No Moderation
 ocaml-meeting-2010--end-of-subscription-is-on-next-friday Only 5 days before the end of subscription. We are already 60 people. ---- For the third time, I am proud to invite all OCaml enthusiasts to join us at OCaml Meeting 2010 in Paris. This year event takes place in Paris on Friday 16th April 2010. Subscription is opened and will be closed on Friday 2nd April 2010. Presentations include: * Enforcing Type-Safe Linking using Inter-Package Relationships for OCaml Debian packages * The Ocamlviz visualization toolkit * Cluster computing in Ocaml * Ocaml in a web startup * React, functional reactive programming for OCaml * OASIS, a Cabal like system for OCaml * OPA, same web, but with types and lambda * OC4MC, Objective Caml for MultiCore * Lwt, Cooperative Light-Weight Threads * naclgrid: the collaborative rendering farm, a JoCaml-powered desktop grid The meeting is sponsored by INRIA, the Caml Consortium and OCamlCore. Inscription is free but the number of participants is limited. Further information and inscriptions:<br> http://wiki.cocan.org/events/europe/ocamlmeetingparis2010 The day after OCaml Meeting, an OCaml hacking day will take place: Further information and inscriptions:<br> http://wiki.cocan.org/events/europe/ocamlhackingday2010 Volunteers willing to help before/during these events can contact me directly. We are particularly looking for a video team. You can also forward this invitation to any groups that can be interested in (Haskell user group, CUFP mailing list...) For people who need further information, you can contact me (see wiki.cocan.org for contact details). Hope to see a lot of you <br> Regards<br> Sylvain Le Gall on behalf of the OCaml Meeting organization team. 1 1 2010-03-30 09:55 No Moderation
 the-course-on-unix-system-programming-in-ocaml-is-translated It is my pleasure to announce that Xavier Leroy and Didier Rémy's course on Unix system programming in Objective Caml is now available in english at this address : http://ocamlunix.forge.ocamlcore.org/ If you had a look at the individual publications of the chapters announced on the project feed you may want to have a look again: some parts of the text were improved and a few translation errors were corrected in the final version. The translation was made by : * Eric Cooper * Eliot Handelman * Priya Hattiangdi * Thad Meyer * Prashanth Mundkur * Richard Paradies * Till Varoquaux * Mark Wong-VanHaren * Daniel C. Bünzli And the resulting text was proofread by : * David Allsopp * Erik de Castro Lopo * John Clements * Anil Madhavapeddy * Prashanth Mundkur. A big thank to all of them for the time they provided for the project. A special mention goes to Prashanth Mundkur who was very supportive and responsive all along. He not only proofread more than one chapter but also provided fixes and improvements for every part of the document. Thanks also to all the people working on ocamlcore.org for the hosting resources. Best, Daniel 0 0 1970-01-01 00:00 No Moderation
 oasis-0.1.0-first-public-release- This is the first public release of OASIS. It aims to provide a clean and efficient way to create a configure/build and install system for your OCaml applications and libraries using a single '_oasis' file. It is inspired by Haskell's Cabal. Features: * generate a standalone setup.ml which provides standard entry points in the build system, * plugin system that allows to choose the best sub-system: OCamlbuild, custom build (Makefile based)... * the file _oasis can be used as a metadata storage to help other tools analyze your source code * customization of every piece of the generated build system by just editing the files concerned * full OCaml script, no Unix call involved * tested on Linux and Windows Bonus features: * available in french, using ocaml-gettext * binary installers for Linux and Windows (32bits) Website: http://oasis.forge.ocamlcore.org If you want to contribute: http://oasis.forge.ocamlcore.org/contribute.html Regards Sylvain Le Gall 0 0 1970-01-01 00:00 No Moderation
 ocamleditor-1.3-released Now available for Linux. http://ocamleditor.forge.ocamlcore.org/ 0 0 1970-01-01 00:00 No Moderation
 ocamleditor-1.3-released Now available for Linux http://ocamleditor.forge.ocamlcore.org/ 0 0 1970-01-01 00:00 No Moderation
 mlpost--new-version-0.8 Mlpost 0.8 is finally out! You can get it at http://mlpost.lri.fr/ or at the ocamlforge. Notable changes are a few new modules, such as Tree_adv which delivers more powerful placement of trees, using overlays, or Real_plot, a nice alternative to Plot for float-valued functions. There also is a new system of contributions (contribs), and two contribs for the moment. The first, Mlpost_lablgtk, allows to easily include Mlpost figures into a GTK interface. The other one, Mlpost_dot, draws graphs using a placement as given by the dot(graphviz) tool. The Cairo backend is considered stable now and delivers mostly identical results as the Metapost backend. It supports PS, PDF , PNG and SVG output. A few minor bugs have been fixed, thanks to Julien Signoles, Stéphane Glondu and others. Finally, there are 4 incompatible changes, hopefully they do only affect a few people. See the CHANGES file for more details. Have fun and do not hesitate to submit bug reports, either by mail to the developers, or via the bug tracking system on the forge. If you want to follow the Mlpost development more closely, we are now using a public git repository at the INRIA forge: git clone git://scm.gforge.inria.fr/mlpost/mlpost.git The Mlpost developers 0 0 1970-01-01 00:00 No Moderation
 tomorrow-is-ocaml-meeting-2010- Hello all, Tomorrow the meeting will start at 09:30 at Hotel Ibis Paris Alesia Montparnasse, 49 rue des Plantes, 75014 Paris. http://wiki.cocan.org/events/europe/ocamlmeetingparis2010#Location_Date Here is the final schedule for the day: * 09:00 - 09:30: Participant arrival with coffee * 09:30 - 10:30: Foreword by Xavier Leroy * 10:30 - 10:45: OCamlCore.org news and projects by Sylvain Le Gall * 10:45 - 11:15: Enforcing Type-Safe Linking using Inter-Package Relationships for OCaml Debian packages, by Stefano Zacchiroli * 11:15 - 11:30: Break * 11:30 - 12:00: OASIS, a Cabal like system for OCaml, by Sylvain Le Gall * 12:00 - 12:30: Cluster computing in Ocaml, by Gerd Stolpmann * 12:30 - 13:00: Ocaml in a web startup, by Dario Teixeira * 13:00 - 13:05: Meeting photo * 13:00 - 14:30: Lunch * 14:30 - 15:00: React, functional reactive programming for OCaml, by Daniel Bünzli * 15:00 - 15:30: Ocamlviz by Sylvain Conchon * 15:30 - 16:00: OC4MC : Objective Caml for MultiCore, by Benjamin Canou * 16:00 - 16:30: Break * 16:30 - 17:00: Cooperative Light-Weight Threads by Jérémie Dimino * 17:00 - 17:30: The collaborative rendering farm: a JoCaml-powered desktop grid by William Le Ferrand * 17:30 - 18:00: OCaml in the clouds, by Thomas Gazagnaire * 18:00 - 19:00: Demonstration time, starting with Ocsigen 2.0 More information: http://wiki.cocan.org/events/europe/ocamlmeetingparis2010 See you all there Sylvain Le Gall 0 0 1970-01-01 00:00 No Moderation
 sebib-1.0.0-released. Sebib means "S-Expressions for BIBliography", it provides a hackable Bibliographic References Management System: http://sebib.forge.ocamlcore.org/ 0 0 1970-01-01 00:00 No Moderation
 ocaml-meeting-2010-is-over This year meeting was quite a success. With more than 75 subscribed participants, this is the biggest OCaml Meeting since its beginning. Some people were not able to come due to railway strike and airports closed, but they were replaced at the last minute. R. Jones already published some photos: http://rwmj.wordpress.com/2010/04/17/ocaml-users-conference-2010/ The last good news is that the sound of videos is good this year. Videos should be published soon on Google Video. Thanks to all participants, talkers and INRIA Cours et Colloque team Sylvain Le Gall 1 1 2010-05-13 20:37 No Moderation
 variant-types-and-pattern-matching-in-hlvm The HLVM distribution now includes a third example compiler and provides variant types and pattern matching. The resulting compiler can run quite sophisticated programs: http://flyingfrogblog.blogspot.com/2010/04/variant-types-and-pattern-matching-in.html 0 0 1970-01-01 00:00 No Moderation
 cia-bot-for-forge.ocamlcore.org--git- Hello all, With a little help from OCamlCore.org administrator, our fellow OCaml developper ygrek has set up a CIA bot for one of his project. You need to be login to forge.ocamlcore.org with ssh. Here is his recipe. $ cd /gitroot/ocaml-mysql/ocaml-mysql.git $ wget http://cia.vc/clients/git/ciabot.pl $ vi ciabot.pl # review configuration section, set project name and email address, ensure $xml_rpc=0 # setup update hook $ cat hooks/update refname=${1#refs/heads/} [ "$refname" = "master" ] && refname= oldhead=$2 newhead=$3 for merged in $(git-rev-list $newhead ^$oldhead | tac); do /gitroot/ocaml-mysql/ocaml-mysql.git/ciabot.pl $merged $refname done $ chmod a+x hooks/update Thanks to ygrek for this recipe. Sylvain Le Gall 0 0 1970-01-01 00:00 No Moderation
 uploaded-sources-of-ocaml-semaphore-to-hg-repository Mercurial repository with source code is located here: http://hg.ocamlcore.org/cgi-bin/hgwebdir.cgi/ocaml-semaphore/ocaml-semaphore/ 0 0 1970-01-01 00:00 No Moderation
 regstab-1.4.4-released - Added many examples - Option -verbose is now --verbose or -v - Options --print-lemmas and -l added: prints the lemmas - Option --verbose is now much more verbose (nb of applications of rules, nb of lemmas, ...) - Fixed a bug in the parser: definition applications cannot (should not) introduce captures anymore - Fixed a small bug that may occur when you give a constraint that does not "follow" the bounds of iterations (e.g. /\i=3..n ... | n>=0) - Manual now contains the formal grammar and a table of examples - License change to CECILL-B (BSD-like licence) in order to be compatible with French law (should have been done before :-S). Contact me in case that's a problem. 0 0 1970-01-01 00:00 No Moderation
 tuareg-2.0.1 This is the second release of the Emacs tuareg-mode for editing OCaml files from Jane Street. This release fixes a bug manifest in older emacsen. 0 0 1970-01-01 00:00 No Moderation
 batteries-included-1.2.0-released This release will be available through GODI, as our build system has changed back to a much simpler ocamlbuild/makefile-based system. Once Camomile resolves its problems with loading its data files, this version of batteries will support setting an environment variable to choose what camomile files to load. And of course the usual set of bugfixes and improvements. 0 0 1970-01-01 00:00 No Moderation
 csv-1.2.1 New version of the OCaml CSV library. This is a bugfix release (correcting all reported bugs). 0 0 1970-01-01 00:00 No Moderation
 ocamleditor-1.4 This release includes the new feature "External Build Tasks" that allows you to execute external shell commands as part of the build process or to fully replace the standard process proposed. For the full list of features and other changes in this release, see http://ocamleditor.forge.ocamlcore.org/ 0 0 1970-01-01 00:00 No Moderation
 calendar-2.03-released Hello, A new release of calendar (version 2.03) is out. The godi package has been updated as well. Changes are: * Detect whether native dynlink works (prevents compilation bug on Mac OS X, thanks to Mykola Stryebkov for its help) o [Date] new function Date.precise_sub o [Calendar] new function Calendar.precise_sub (from Dario Teixeira's suggestion) 0 0 1970-01-01 00:00 No Moderation
 changed-license-to-lgpl---ocaml-linking-exception Now I release all my OCaml libraries under LGPLv3+ with the exception that permits static linking with anything. It was GPL before, but I read more about the subject. Enjoy the code :-). 0 0 1970-01-01 00:00 No Moderation
 ocamlduce-3.12.0.0 A new version of OCamlDuce, a merger of OCaml and CDuce that extends OCaml with XML types, has been released. The changes from the previous version (3.11.2.0) are: - merge with OCaml 3.12.0 - drop native ocamlducedoc - fix memory leak issue in NS handling [Stefan Lampe] 0 0 1970-01-01 00:00 No Moderation
 planet-ocamlcore-on-twitter Planet OCamlCore is now on Twitter. Follow OCaml news here: http://twitter.com/planetocamlcore If you want to be part of the OCaml Planet, read this HOWTO: http://www.ocamlcore.org/planet/ Thanks to Martin Jambon for the idea. Sylvain Le Gall for the OCamlCore.org team 0 0 1970-01-01 00:00 No Moderation
 project-started- This project recently started. Expect an installer for the 32 bit msvc port of OCaml in the comming weeks with a 64bit version following later. /Martin 0 0 1970-01-01 00:00 No Moderation
 new-ssl-certificate-for-ocamlcore.org The OCamlCore.org team was pondering if we should use a commercial certificate to replace the free CACert.org certificate. While we acknowledge that CACert is a very important initiative, we decided to change the certificate. This way, OCaml Forge user should not need to add exceptions or trust the CACert root certificate. Access to the forge should be easier. The SSL certificate is now issued by Equifax. If you have problem loading https://forge.ocamlcore.org, contact the administration team (through our bug tracker http://forge.ocamlcore.org/tracker/?group_id=1). NB: we use a wildcard certificate for *.ocamlcore.org, this doesn't cover lists.forge.ocamlcore.org -- which was already the case for CACert. For now, we recommend to add an exception when accessing https://lists.forge.ocamlcore.org. Sylvain Le Gall, on behalf of the OCamlCore.org team 0 0 1970-01-01 00:00 No Moderation
 ocaml-fileutils--release-0.4.1--bugfix- The project ocaml-fileutils just release a bugfix version, including two patches. It fixes a mismatch in FileUtilStr. Here is the changelog: v0.4.1: * Apply patch from S. Glondu to use the right find function in FileUtilStr (Closes: #731) * Fix some typo in documentation * Apply patch from Debian to use a byte plugin for ocamlbuild Sylvain Le Gall 0 0 1970-01-01 00:00 No Moderation
 ocaml-data-notation--release-0.0.2 This is a bugfix release that workaround camlp4 differences between OCaml 3.11 and 3.12. You can now compile odn with both versions. Sylvain Le Gall 0 0 1970-01-01 00:00 No Moderation
 new-release--cryptokit-1.4 - Added Blowfish block cipher. - Added MAC functions based on HMAC construction applied to SHA-256 and RIPEMD-160. - Added OASIS and findlib support (Closes: #589) Sylvain Le Gall on behalf of Crytpokit developers 0 0 1970-01-01 00:00 No Moderation
 ocaml-expect-v0.0.1 First public release of this library. It can helps to build efficient interactive program unit test (with OUnit for example). It provides the basic command of expect: spawn, send and expect. You can match strings using regular expression (Str), you can also match a timeout and eof. Sylvain Le Gall 0 0 1970-01-01 00:00 No Moderation
 camera-rescue-v0.0.1 This is the first release of a tool that I have already used in "real life". If you take a lot of picture, or if friends of you do so, you should have already seen a memory card crashed. This can happen for various reasons: * you remove the card while the camera is flushing it * you remove the battery while the camera is flushing the card * the card just crash Most of the time, it happens when the picture are really important. This tool helps you to recover the JPEG files from the card by looking for JPEG markers. This is quite efficient (scan 8GB in less than 10min, using a dump of the card) and helps to recover the pristine picture, with its metadata. So far, the program helps me to save a trip to Marrakech and a wedding. Sylvain Le Gall 0 0 1970-01-01 00:00 No Moderation
 gammu--html-documentation The documentation of ml-Gammu (a binding to Gammu, a library to access your phone) is available at http://ml-gammu.forge.ocamlcore.org/doc/ 0 0 1970-01-01 00:00 No Moderation
 onotify-0.6---the-first-public-release-- I am pleased to announce the first public release of Onotify ! Onotify is an OCaml binding for the Linux Inotify framework. This project is a fork of ocaml-inotify, another Inotify OCaml binding initiated by Vincent Hanquez <vincent@snarc.org> which can be found here : http://projects.snarc.org/ocaml-inotify Yet, Onotify is heavily based on this initial project and I would like to thank Vincent Hanquez for his work. The essential differences between Onotify and the initial project are : - a new build system based on OCamlbuild, GNU make and a shell script ; - some slight changes in the API, especially : - a call to Inotify.read can now be safely blocking - use of Unix.Unix_error to report runtime errors - a documented API using ocamldoc - a slightly improved test program - the drop of the Inotify compatibility header (yet still present under unused/) You can download the tarball from the download area provided by OCamlForge. Moreover, you can visit the project homepage (currently very light !) at : http://onotify.forge.ocamlcore.org/ Enjoy ! Ludovic Stordeur 1 2 2010-10-05 12:34 No Moderation
 ocaml-expect-v0.0.2 This is a new release that features: * replace variant matches like ExpectFun by `Fun * split Str match into a separate module and add a Pcre module * allow to dynamically determine the result of an expect call (through ~fmatches) * allow to provide an environment when spawning a process All of these changes comes from a discussion with Gaius Hammond: http://gaiustech.wordpress.com/2010/09/22/expect-2/ 0 0 1970-01-01 00:00 No Moderation
 onotify-0.6.1---a-bugfix-release I am pleased to announce the second release of Onotify : 0.6.1. This is essentially a bugfix release which fixes an issue preventing Onotify to be installed with ocaml-inotify. (because of an ocamlfind name clash). See the release notes for more details. Enjoy ! Ludovic Stordeur 0 0 1970-01-01 00:00 No Moderation
 website-completed The Onotify website is now complete and is accessible here : http://onotify.forge.ocamlcore.org 0 0 1970-01-01 00:00 No Moderation
 some-changes-in-the-communication-tools The "Announce" mailing-list has been removed. Future major announces will now only be posted through the OCamlForge News system. The "Tech. Support" tracking tool has been created. But you can always use the devel mailing-list to ask for any technical question. Last but not least, the Bug Report tracking tool is now the only way to submit bug reports. Use of the devel mailing list is now discouraged. This makes easier the centralization of bug reports and avoid bug report duplicatas between the tracking tool and the mailing-list. The README and website have been updated according to these changes. Ludovic Stordeur 0 0 1970-01-01 00:00 No Moderation
 ounit-1.1.0 This is a new release of OUnit that contains quite a lot of changes: - improved documentation http://ounit.forge.ocamlcore.org/api/ - lot of changes: assert_command to run command,bracket_tmpfile, - backtrace support - can use extra command line arguments with run_test_tt_main 0 0 1970-01-01 00:00 No Moderation
 melt-1.3.0 Version 1.3.0 of Melt, the tool to write LaTeX documents in OCaml, has been released. This version features variables computed using a fixpoint, which allow you to ask for future values of the variable. Man pages have been written, *many* new latex commands have been added, comments may be used in text and math mode, and of course some bugs have been fixed. The complete set of changes can be seen here: https://forge.ocamlcore.org/frs/shownotes.php?release_id=340 0 0 1970-01-01 00:00 No Moderation
 onotify-0.6.2-released This is a minor release. Changed : * renamed this file from ChangeLog to NEWS and reworked its content Improved : * some changes in the README file ; * completed the API documentation : + added a short example (mostly borrowed from the test program) ; + reworked the function documentations (dropped the use of tag @return) 0 0 1970-01-01 00:00 No Moderation
 onotify-available-in-godi--- I am very pleased to announce the availability of Onotify in the GODI distribution. For GODI users, trying Onotify is now just a matter of : godi_perform -build godi-onotify Enjoy !! 0 0 1970-01-01 00:00 No Moderation
 ocaml-http-0.1.4-now-uploaded After quite a while, we now have the source of ocaml-http 0.1.4 on OCamlForge! Here's to many more releases soon. If you're having trouble, please see the bug-tracker at https://forge.ocamlcore.org/tracker/?group_id=90. 0 0 1970-01-01 00:00 No Moderation
 ocaml-http-now-on-git- I've migrated the old SVN repository to a lovely new Git one, proudly hosted by OCamlCore! The repository can be browsed here: http://git.ocamlcore.org/cgi-bin/gitweb.cgi?p=ocaml-http/ocaml-http.git;a=summary 0 0 1970-01-01 00:00 No Moderation
 oasis-v0.2.0-release I have just released the v0.2.0. Full blog post about the release here: http://www.ocamlcore.com/wp/2010/10/oasis-v02-release/ Sylvain Le Gall 0 0 1970-01-01 00:00 No Moderation
 ocaml-data-notation--release-0.0.3 This new release just add a partial support for polymorphic variant, as used in OASIS. Sylvain Le Gall 0 0 1970-01-01 00:00 No Moderation
 ocaml-sphinx-0.0.1-released This is the first release of OCaml client API for Sphinx fulltext search engine <http://sphinxsearch.com>. Get it at https://forge.ocamlcore.org/frs/?group_id=182 0 0 1970-01-01 00:00 No Moderation
 ocaml-extunix-0.0.1-released ExtUnix aims to collect thin bindings to various low-level system API in one library with consistent interface. Project goals are detailed in README at http://git.ocamlcore.org/cgi-bin/gitweb.cgi?p=extunix/extunix.git;a=blob_plain;f=README.txt;hb=HEAD This is a preliminary alpha release, some API may change (based on your feedback). Implemented bindings : * fsync fdatasync * eventfd signalfd * statvfs fstatvfs * dirfd openat unlinkat fstatat * uname * fadvise fallocate * ttyname setpgid getpgid setreuid setregid * realpath Get it at https://forge.ocamlcore.org/frs/?group_id=175 0 0 1970-01-01 00:00 No Moderation
 regstab-1.4.6-released Fixed a huge bug that could make a satisfiable formula unsatisfiable. If this ever happened to you and made you forget about RegSTAB, then give it a new try! 0 0 1970-01-01 00:00 No Moderation
 fusionforge-migration Wednesday, December 15th 2010, we will proceed to the migration of the OCaml Forge to FusionForge. During two days, the forge and related services may not be accessible due to this migration. Among various bug fixes, this migration will bring: * direct support of git, darcs and bazaar * wiki plugin More information here: http://fusionforge.org This migration will be made with the help of Roland Mas, a developper of FusionForge: http://gnurandal.com Sylvain Le Gall, on behalf of the OCamlCore.org administration team 0 0 1970-01-01 00:00 No Moderation
 fusionforge-migration--reminder Tomorrow, the OCaml Forge will migrate to FusionForge 5. Expect some hours of unavailability. Sylvain Le Gall on behalf of OCamlCore.org administration team 0 0 1970-01-01 00:00 No Moderation
 ocaml-extunix-0.0.2-released ExtUnix aims to collect thin bindings to various low-level system API in one library with consistent interface. New release adds more bindings. Get it at https://forge.ocamlcore.org/frs/?group_id=175 0 0 1970-01-01 00:00 No Moderation
 yypkg-1.0.0-beta1-released YYPkg is a cross-platform package manager working in a separate prefix. It should prove particularly useful for windows, including when cross-compiling, but it can also serve any purpose. 0 0 1970-01-01 00:00 No Moderation
 ocaml-http-0.1.5-released ocaml-http-0.1.5 has been released! This minor update: * fixes a bug with cookie parsing, where common (but technically incorrect) constructs of cookies would cause the request to not be processed * fixes a bug where empty request strings (e.g. a URI of the form &quot;/xyz?&quot;) would cause the request to not be processed * adds &quot;Connection&quot; header setters/getters * changes the default behaviour of sockets to be closed after writing out a response Enjoy. 0 0 1970-01-01 00:00 No Moderation
 argot--1.0-alpha Argot is an enhanced HTML generator for ocamldoc. Features: - stroked, underlined, and highlighted styles - image data inclusion - full table support (caption, headers, rows, and data) - token substitution - @typevar tag to document type variable - @unimplemented, @todo, @todoc, @docme, @fixme, @tofix tags for remaining work - @threadsafe, @threadunsafe tags for thread compatibility - @stateful tag for state-based functions - @attention, @bug, @error, @info, @new, @note, @remark, @warning tags 0 0 1970-01-01 00:00 No Moderation
 mascot--1.0-alpha Mascot is a style-checker for Objective Caml sources. Features: - customization of activated checks (and exceptions) by configuration files - code checks: overloading of builtin elements, useless constructs, deeply nested constructs, 'open' statements, magic numbers, complex conditions - documentation checks: presence of comments, and spellcheck - interface checks: empty interface, and number of exported elements - metrics checks: coupling, Halstead, and McCabe - miscellaneous checks: matching of regular expressions - typographic checks: spaces, tabulations, headers, and file/line lengths - support for CheckStyle, CSV, HTML, JDepend, bare text, and XML outputs - support for plugins (custom checks and outputs) 0 0 1970-01-01 00:00 No Moderation
 batteries-1.3.0-released Finally, a new release of batteries, with support for OCaml 3.12, a new testing infrastructure with tests auto-extracted from source and using QuickCheck for property verification, new useful functions and modules, documentation improvements and lots of bug fixes. Download at: https://forge.ocamlcore.org/frs/?group_id=17&amp;release_id=380 0 0 1970-01-01 00:00 No Moderation
 bolt--1.1 This post announces the 1.1 release of the Bolt project, whose goal is to provide a comprehensive yet flexible logging framework for the Objective Caml language. Main changes since 1.0: - update for Objective Caml 3.12.0 - new build system (ocamlbuild-based) - reorganization of 'src' directory - code refactoring - enhanced manual - new 'hostname', 'process' and 'origin' properties added to events - enhanced support for name of 'file' output - support for Growl output (visual notifications for Mac OS X) - preliminary support for Paje layout (trace format for parallel programs) - bug #51: unportable use of 'which' - bug #52: thread-compatibility module does not compile - bug #53: printf-like messages support at most 2 arguments - bug #54: META file does not contain all dependencies - bug #55: preprocessor de-parenthesizes first argument - bug #56: tests fail if 'ocamljava' is not present 0 0 1970-01-01 00:00 No Moderation
 ocamleditor-1.6.0-released * Code folding. * Indentation lines. * Code templates. * Show line endings. * File tab context menu. * Find definition/references, based on &quot;.annot&quot; files. Shortcuts for &quot;find definition&quot; are Ctrl+Click or Ctrl+Return; shortcut for &quot;find references&quot; is Shift+Ctrl+Return. When you move to a definition, navigation is stored in the location history. * Automatic compilation of the currently open file. Delay and compiler flags are configurable in project properties. Error/warning locations are underlined in the source and marked in the &quot;gutter&quot; and in the global gutter. Error messages are shown with a tooltip. * Multiple runtime configurations. * Added minimal support for tree-structured projects. * Ability to specify the working directory for external tasks. * Global shortcut for &quot;Find All&quot; (Shift+Ctrl+F) and in &quot;Find Text&quot; dialog window (Ctrl+Return). * Reduced CPU consumption with GtkThread as proposed in http://yquem.inria.fr/pipermail/lablgtk/2009-December/000335.html * Various other GUI improvements and changes. 0 0 1970-01-01 00:00 No Moderation
 ocamleditor-1.6.0-released Main changes: - Code folding. - Indentation glines. - Code templates. - Show line endings. - File tab context menu. - Find definition/references. - Automatic compilation of the currently open file. - Multiple runtime configurations. - Added minimal support for tree-structured projects. - Ability to specify the working directory for external tasks. - Global shortcut for &quot;Find All&quot; (Shift+Ctrl+F) and in &quot;Find Text&quot; dialog window (Ctrl+Return). - Reduced CPU consumption with GtkThread as proposed in http://yquem.inria.fr/pipermail/lablgtk/2009-December/000335.html 0 0 1970-01-01 00:00 No Moderation
 ocamleditor-1.6.0-released Main changes: - Code folding. - Indentation glines. - Code templates. - Show line endings. - File tab context menu. - Find definition/references. - Automatic compilation of the currently open file. - Multiple runtime configurations. - Added minimal support for tree-structured projects. - Ability to specify the working directory for external tasks. - Global shortcut for &quot;Find All&quot; (Shift+Ctrl+F) and in &quot;Find Text&quot; dialog window (Ctrl+Return). - Reduced CPU consumption with GtkThread as proposed in http://yquem.inria.fr/pipermail/lablgtk/2009-December/000335.html 0 0 1970-01-01 00:00 No Moderation
 bisect-1.1 This post announces the 1.1 release of the Bisect project, whose goal is to provide a code coverage tool for the Objective Caml language. Home page: http://bisect.x9c.fr Main changes since 1.0: - update for Objective Caml 3.12.0 - new build system (ocamlbuild-based) - reorganization of 'src' directory - 'instrument.cmo' renamed to 'bisect_pp.cmo' (and now depends on 'str.cma') - instrumentation modes ('safe', 'fast', and 'faster') - '-exclude' command-line switch to exclude functions from instrumentation - '(*BISECT-MARK*)' / '(*BISECT-VISIT*)' comments to mark lines - '(*BISECT-IGNORE-BEGIN*)' / '(*BISECT-IGNORE-END*)' / '(*BISECT-IGNORE*)' comments to ignore parts of source file - bug #51: unportable use of 'which' - bug #52: thread-compatibility module does not compile - bug #59: instrumented code is 20 times slower 0 0 1970-01-01 00:00 No Moderation
 kaputt-1.1 This post announces the 1.1 release of the Kaputt project, whose goal is to provide a comprehensive testing framework for the Objective Caml language. Home page: http://kaputt.x9c.fr Main changes since 1.0: - update for Objective Caml 3.12.0 - new build system (ocamlbuild-based) - assertion builders for data containers - generators for functions (both total and partial) - enumerators for file contents (chars, bytes, lines, and marshalled values) - additional shell commands, and possibility to configure shell syntax - enhanced big array, and big num support - fix for possible non-termination on unsatisfiable precondition - implementation of reduction (to try to produce smaller counterexamples) - bug #51: unportable use of 'which' - bug #57: tests fail on 64-bit platform 0 0 1970-01-01 00:00 No Moderation
 ocaml-meeting-2011--inscription-is-opened For the fourth time, I am proud to invite all OCaml enthusiasts to join us at OCaml Meeting 2011 in Paris. This year event takes place in Paris on Friday 15th April 2011. Subscription is opened now and will be closed on Friday 8th April 2011. As last year, participants are invited to give a talk on what they are doing with OCaml, submit a description of your talk on the wiki or contact me. The meeting is sponsored by INRIA CAML Consortium and organized OCamlCore. Participation for lunch is covered by the Consortium, you just need to subscribe. The facility can only host 70 people, so we will have to filter the list of participants if there are more people. We will give priority to people giving a talk and coming from abroad. For people who need further information, you can contact me (see the wiki for contact details). Further information: https://forge.ocamlcore.org/plugins/mediawiki/wiki/ocaml-meeting/index.php/OCamlMeeting2011 Registration: http://ocaml-meeting.forge.ocamlcore.org/2011-paris/reg_add Hope to see a lot of you Regards Sylvain Le Gall on behalf of the OCaml Meeting organization team p.s. the registration website is made with Ocsigen and connected to the forge, so you need to be logged in the OCaml Forge to be able to subscribe 0 0 1970-01-01 00:00 No Moderation
 first-version-of-ocsigen-bundler This is the first version of this application. It is a simple application that helps create self contained Ocsigen web server with its Eliom modules. It is used to deploy various Ocsigen application on ocamlcore.org. 0 0 1970-01-01 00:00 No Moderation
 ansiterminal-0.5-released ANSITerminal is a module allowing to use the colors and cursor movements on ANSI terminals and the windows shell. The current release includes a better windows module thanks to the help of Vincent Hugot. 0 0 1970-01-01 00:00 No Moderation
 ocaml-meeting-2011--3-weeks-before-registration-closed For the fourth time, I am proud to invite all OCaml enthusiasts to join us at OCaml Meeting 2011 in Paris. This year event takes place in Paris on Friday 15th April 2011. Registration is opened now and will be closed on Friday 8th April 2011. As last year, participants are invited to give a talk on what they are doing with OCaml, submit a description of your talk on the wiki or contact me. The meeting is sponsored by the INRIA CAML Consortium and organized by OCamlCore SARL. Participation for lunch is covered by the Consortium, you just need to subscribe. The facility can only host 70 people, so we will have to filter the list of participants if there are more people. We will give priority to people giving a talk and coming from abroad. __At the date of this post, only 40 places remain.__ For people who need further information, you can contact me (see the wiki for contact details). Further information: https://forge.ocamlcore.org/plugins/mediawiki/wiki/ocaml-meeting/index.php/OCamlMeeting2011 Registration: http://ocaml-meeting.forge.ocamlcore.org/2011-paris/reg_add Hope to see a lot of you Regards Sylvain Le Gall on behalf of the OCaml Meeting organization team p.s. the registration website is made with Ocsigen and connected to the forge, so you need to be logged in the OCaml Forge to be able to subscribe 0 0 1970-01-01 00:00 No Moderation
 calendar-2.03.1-released Hello, A new minor release of calendar (version 2.03.1) is out. It only contains bug fixes. The godi package has been updated as well. Changes are: * [Calendar] Fixed bug in Calendar.prev and Fcalendar.prev: mostly raised exception Date.Out_of_bounds before. * [Printer] `Thurday' was printed instead of `Thursday' Best regards, Julien Signoles 0 0 1970-01-01 00:00 No Moderation
 ocaml-commnity-not-selected-for-gsoc Despite the best efforts of the GSoC OCaml admin team as well as several members of the community, I am sorry to announce that the OCaml community was not selected as a mentor organization for the GSoC 2011. I have asked for some feedback so we can improve for next year. On behalf of the admin team, I would like to thank everybody who has put their name on the mentor list and especially those who spend some time to write a draft on our ideas list. Do not hesitate to put more ideas on the wiki [1], they will be of use for next year or for other projects. [1] https://forge.ocamlcore.org/plugins/mediawiki/wiki/gsoc-team/index.php/GSoC2011/Applying 0 0 1970-01-01 00:00 No Moderation
 mesh-0.7 “Mesh” is interface to various mesh generators, in particular triangle. This is its first public release. 0 0 1970-01-01 00:00 No Moderation
 ocaml-meeting-2011--1-week-before-end-of-registration For the fourth time, I am proud to invite all OCaml enthusiasts to join us at OCaml Meeting 2011 in Paris. This year event takes place in Paris on Friday 15th April 2011. Registration is opened now and will be closed on Friday 8th April 2011. As last year, participants are invited to give a talk on what they are doing with OCaml, submit a description of your talk on the wiki or contact me. __ Only 30 places left and only one week before remains __ We are still looking for: * someone to handle the camrecorder * someone to welcome people and direct them to the cafeteria Both of these tasks will only take you a limited amount of time during the meeting. It will help the organization team a lot. The meeting is sponsored by INRIA CAML Consortium and organized OCamlCore. Further information: http://bit.ly/eaZi1C Registration: http://bit.ly/hqaDWb Hope to see a lot of you Regards Sylvain Le Gall on behalf of the OCaml Meeting organization team p.s. the registration website is made with Ocsigen and connected to the forge, so you need to be logged in the OCaml Forge to be able to subscribe. 0 0 1970-01-01 00:00 No Moderation
 ocaml-meeting-2011--hacking-day Pierre Chambart from IRILL is setting up a hacking day the day after the meeting. It will take place at IRILL and every OCaml hackers is welcome to participate. 0 0 1970-01-01 00:00 No Moderation
 ocaml-meeting-2011--2-days-before-end-of-registration For the fourth time, I am proud to invite all OCaml enthusiasts to join us at OCaml Meeting 2011 in Paris. This year event takes place in Paris on Friday 15th April 2011. Registration is opened now and will be closed on Friday 8th April 2011. As last year, participants are invited to give a talk on what they are doing with OCaml, submit a description of your talk on the wiki or contact me. __ Only 10 places left and only 2 days remains __ The day after the meeting, an OCaml Hacking day will take place at IRILL, more information will be given by Pierre Chambart during the Meeting. We are still looking for: * someone to handle the camrecorder * someone to welcome people and direct them to the cafeteria Both of these tasks will only take you a limited amount of time during the meeting. It will help the organization team a lot. People talking at the meeting are invited to complete the description of their talks on the wiki and to send me their slides before the meeting. The meeting is sponsored by INRIA CAML Consortium and organized OCamlCore. Further information: http://bit.ly/eaZi1C Registration: http://bit.ly/hqaDWb Hope to see a lot of you Regards Sylvain Le Gall on behalf of the OCaml Meeting organization team p.s. the registration website is made with Ocsigen and connected to the forge, so you need to be logged in the OCaml Forge to be able to subscribe. 0 0 1970-01-01 00:00 No Moderation
 ocaml-meeting-2011--last-day-of-registration For the fourth time, I am proud to invite all OCaml enthusiasts to join us at OCaml Meeting 2011 in Paris. This year event takes place in Paris on Friday 15th April 2011. Registration is opened now and will be closed today. __ Only 10 places left __ The day after the meeting, an OCaml Hacking day will take place at IRILL, more information will be given by Pierre Chambart during the Meeting. We are still looking for: * someone to handle the camrecorder * someone to welcome people and direct them to the cafeteria Further information: http://bit.ly/eaZi1C Registration: http://bit.ly/hqaDWb Hope to see a lot of you Regards Sylvain Le Gall on behalf of the OCaml Meeting organization team 0 0 1970-01-01 00:00 No Moderation
 sebib-1.1.0-released The Sebib project aims at providing a highly hackable “Bibliographic References Management System”. It is a library and a command-line application which handle an ad-hoc file format based on S-Expressions. This version fixes build problems and adds the option &quot;-reverse&quot;. 0 0 1970-01-01 00:00 No Moderation
 hardware-problem--ovh-is-investigating Hello all, Since a few months the server hosting the forge has experienced unexpected reboots. Most of the time, it reboots without problems, within 15 minutes. Today, the reboot takes longer than expected and we decided to solve this problem with the help of OVH admin. It seems that we have a bad RAM module, that will need to be replaced. Expect a little more downtime in the next days, but hopefully it will solve problems. Cheers Sylvain Le Gall on behalf of the OCaml Forge team 0 0 1970-01-01 00:00 No Moderation
 ocaml-meeting-2011--tomorrow-in-paris Tomorrow is the OCaml Meeting in Paris. It will take place at Telecom ParisTech. It will start at 9am. The meeting entrance will be at 46 rue Barrault (main Telecom ParisTech entrance). http://www.telecom-paristech.fr/telecom-paristech/adresses-acces-contacts.html More information (schedule...) https://forge.ocamlcore.org/plugins/mediawiki/wiki/ocaml-meeting/index.php/OCamlMeeting2011 See you tomorrow Sylvain Le Gall 0 0 1970-01-01 00:00 No Moderation
 ansiterminal-0.6-released ANSITerminal is a module allowing to use the colors and cursor movements on ANSI terminals and the windows shell. This version uses OASIS. 0 0 1970-01-01 00:00 No Moderation
 benchmark-v1.0-released Benchmark is a small module to measure running times of functions and compare the results. This release uses the OASIS framework to compile and install the code. 0 0 1970-01-01 00:00 No Moderation
 lpd-v1.1-released. Lpd is a Line Printer Daemon (LPD) server library written entirely in OCaml. This version uses OASIS. 0 0 1970-01-01 00:00 No Moderation
 csv-1.2.2-released. Csv is a pure OCaml library to read and write CSV files, including all extensions used by Excel. This release uses OASIS. 0 0 1970-01-01 00:00 No Moderation
 gammu-0.9-released Gammu is a binding to libGammu &lt;http://wammu.eu/&gt;, which provides abstraction layer to work with different cell phones from different vendors. 0 0 1970-01-01 00:00 No Moderation
 how-newcomers-can-easily-contribute-to-the-ocaml-batteries Batteries is a community effort to build a base library for the OCaml languages. It builds upon the current minimal standard library provided with the compiler, and the ExtLib effort which extended it with several useful functions and modules. Again, Batteries is a community effort: it is developed by volunteers that have gathered, starting from the 2008 OCaml Meeting, to solve what they thought was one of the most pressing obstacle to the ease of use of the OCaml language. This means everyone can participate in the Batteries effort, and we're proud to say that we're doing our best to help non-frequent contributors and simple users to have an impact on the project. There are lots of things you can do to help us on the Batteries front. Our manpower is scarce and we are aware of a lot of places where the state of Batteries is lacking. Most of them are simple things, but fixing a lot of simple things is a lot of work; you can help. - We need your help to improve documentation. Documentation should be a major aspect of every software project, evermore for base libraries. Documentation is admittedly one of the weak points of the current state of Batteries. It has evolved a lot since its birth, some module miss basic documentation, and some documentation of older things that have changed is inconsistent. Don't hesitate to report such issues. We would appreciate help to improve this: if you see an problem (typo, documentation of some function missing, inconsistency between two descriptions, etc.) in the documentaiton, you can fix it directly, and provide a patch (the ocamldoc-generated API documentation comes from the `.mli` files, which you can easily modify). We are also interested in code examples and use cases for specific Batteries function. In an ideal world with infinite manpower, we would like to have a simple useful example for each function, and more consistent code snippets to highlight common patterns of uses of a given module, feature or style. That's something that you can certainly do, even if you're not familiar with the Batteries internals. - Some useful functions are still missing. If you begin using Batteries but at some point realize that some function is missing that you would really expect in a base library (think `List.filter`; hopefully we got that one covered), please let us know. We're also interested in suggestions to improve consistency across modules : if module `Foo` has a `bar` function, but module `Foo2` which is really similar doesn't, maybe we should add `Foo2.bar`. Sometimes, a function name is not optimal, it should rather be this other name that is common to those other modules, and we may also try to fix it (but we must strive to preserve backwards-compatibility, so we're limited in what we can change). - We need your feedback. If you use Batteries but something doesn't work for you or is missing, please let us know. If you *don't* use Batteries because something doesn't work for you or is missing, please let us know. We won't be angry at you because you don't use it, and we will pay attention to (polite) harsh words. To report any problem (bug, missing feature, inconsistency, documentation problem...), you may use our issue tracker, which is simple and easy to use. https://github.com/ocaml-batteries-team/batteries-included/issues For less precise feedback, more general discussion, if you want to propose (and better, implement) more ambitious changes, or if you for some reason don't want to use our issue tracker, please send us a mail on the batteries-discuss mailing list, kindly provided by the OCamlcore Forge. batteries-discuss, lists.forge.ocamlcore.org If you want to submit patches, please discuss them on our development mailing list. We're very open to code submissions. batteries-devel, lists.forge.ocamlcore.org You will find the archives of both mailing-list on the Ocaml Forge: https://forge.ocamlcore.org/mail/?group_id=17 0 0 1970-01-01 00:00 No Moderation
 ocaml-iteratees-0.3-released ocaml-iteratees 0.3 released. Here is a list of changes from version 0.1a: + installing via findlib + I.UTF8.utf8_of_char: enumeratee for char -&gt; utf8char conversion + I.limit enumeratee to limit iteratee with the specified amount of input elements + I.catch / I.catchk for catching errors (with optional recovery) + I.feedI -- ported from Oleg's code + generating it_type.ml with type of module made by Iteratees.Make(IO) 0 0 1970-01-01 00:00 No Moderation
 l-bfgs-0.5-released L-BFGS is a limited-memory quasi-Newton code for bound-constrained multidimensional optimization. This is its first public release. 0 0 1970-01-01 00:00 No Moderation
 mleternal-0.2-released mleternal is an incremental build tool for OCaml programs. The most important changes since 0.1 are: * FUSE is employed to make ocamlc look as if it returns continuations: when it asks for a .cmi file, it pauses until we provide it. * The new testing system checks if everything works OK staring from pure Debian to results of individual test cases. This is based on chroot and btrfs snapshots. * bytecode compilation and linking works Still, mleternal 0.2 is far from production quality. 0 0 1970-01-01 00:00 No Moderation
 batteries-1.4.0-released Almost 250 commits to git since 1.3.0, we have a new batteries release. In addition to the usual slew of bug fixes, tests and documentation and performance improvements, we've added: * a new core for both polymorphic and functorized Sets and Maps, giving better performance and a more consistent interface (i.e. many new functions for the functorized Sets/Maps). This also brings map merging to a new level, allowing complex merging operations to be performed easily on maps. * Splay trees (Map and Set) * Tuple2/3/4/5 modules for handling n-tuples in easier ways (obseleting the Pair module) * Oasis support (doesn't generate our build system yet, just provides metadata and installation via odb) * support for most new functions added to 3.12's stdlib (some names collided, full support coming in 2.0) * Infix operators now available by opening Foo.Infix, as well as Foo.(expr) in 3.12 * Improved unification of numeric types with more operations shared by all. * Additional printers installed by default in the toplevel * LazyList matching support via camlp4 We're looking forward to v2.0 which will clean up some of the warts we've accumulated over the 1.x series by finally breaking backwards compatibility. 0 0 1970-01-01 00:00 No Moderation
 ocamlduce-3.12.1.0 A new version of OCamlDuce, a merger of OCaml and CDuce that extends OCaml with XML types, has been released. The changes from the previous version (3.12.0.0) are: - merge with OCaml 3.12.1 0 0 1970-01-01 00:00 No Moderation
 ocaml-extunix-0.0.3-released ExtUnix aims to collect thin bindings to various low-level system API in one library with consistent interface. New release adds more bindings and various compatibility fixes. Get it at https://forge.ocamlcore.org/frs/?group_id=175 0 0 1970-01-01 00:00 No Moderation
 argot--1.0-beta Argot is an enhanced HTML generator for ocamldoc. Changes since 1.0-alpha: - switch to OCaml 3.12.1 - support for folding - enhanced support for tables (horizontal span, check for well-formedness) - @copyright and @license tags for legal information - '-argot-version' command-line switch - tests for base64 encoding - support for ocamlfind has been fixed - support for use as native plugin has been fixed 0 0 1970-01-01 00:00 No Moderation
 mascot--1.0-beta Mascot is a style-checker for Objective Caml sources. Changes since 1.0-alpha: - switch to OCaml 3.12.1 - revamped configure/build system - support for checks based on annotation files - support for checks using a state (for cross-file checks) - new code checks: 'empty_for', 'empty_try', and 'empty_while' - new code check: 'deprecated' to detect deprecated elements - new code check: 'tuple_size' to detect lenghty tuples - strict mode for documentation checks (rejects empty comments) - bug #66: allowed modules in 'code.open' check - bug #67: detection of useless parentheses in 'if', 'when', 'while', and 'for' constructs ('code.code_useless_external_parentheses') - bug #68: 'code.physical_comparisons' check added - bug #70: support for preprocessors - bug #71: detection of textual code duplication ('code.textual_duplicate') 0 0 1970-01-01 00:00 No Moderation
 barista---2.0-alpha Barista is both a library for Java class file construction and a Java [dis]assembler. Features: - full support for class file format up to version 1.7 - experimental support for 'future' features (e. g. modules) - can be used as a library, or as a command-line [dis]assembler Changes since 1.4: - update for Objective Caml 3.12.1 - update for Camomile 0.8.3 - new build system (ocamlbuild-based) - reorganization of 'src' directory - support for Unicode in 'src/utf8' directory - major refactoring of code (with impact on API) - executable names changed to 'barista.byte' and 'barista.native' - peephole optimizations - optimization of stack frames - optimization of exception tables - optimization of 'transitive' jumps - new '-optimize' command-line switch to enable peephole/jump optimizations - support for 'invodynamic' (JSR 292) - preliminary support for type annotations (JSR 308) - preliminary support for Java modules (project Jigsaw / JSR 294) - support for 'package-info' and 'module-info' class files - support for Java serialization protocol (version 2 only) - new implementation for i/o operations - improved manual - Java API has been removed 0 0 1970-01-01 00:00 No Moderation
 bolt--1.2 This post announces the 1.2 release of the Bolt project, whose goal is to provide a comprehensive yet flexible logging framework for the Objective Caml language. Home page: http://bolt.x9c.fr Main changes since 1.1: - update for Objective Caml 3.12.1 - support for Daikon layout - enhanced support for Paje layout - file rotation can now be requested on signal reception (SIGHUP, SIGUSR1, or SIGUSR2) using the 'signal' key in the configuration file - syntax extension: possibility to use an identifier as the 'LOG' message - syntax extension: 'WITH' and 'EXN' as synonyms for respectively 'PROPERTIES' and 'EXCEPTION' - some code factorization Xavier Clerc 0 0 1970-01-01 00:00 No Moderation
 zarith-1.0-released First release of Zarith, a new OCaml library for exact, arbitrary-precision arithmetic over integers and rationals. This library is both space- and time-efficient, owing to the use of unboxed integers for small integers and GMP for big integers. 0 0 1970-01-01 00:00 No Moderation
 l-bfgs-0.8-released This version • introduces a &quot;max&quot; function for convenience; • is compatible with FORTRAN code v3.0 that was released this summer. 0 0 1970-01-01 00:00 No Moderation
 logistic-regression-in-ocaml Shows how to classify data using the Logistic model. Demonstrate the use of the L-BFGS OCaml module. http://math.umons.ac.be/anum/en/software/OCaml/Logistic_Regression/ 0 0 1970-01-01 00:00 No Moderation
 first-release First public release of the native MySQL protocol library. 0 0 1970-01-01 00:00 No Moderation
 tuareg-mode-is-available-through-marmalade The tuareg mode has been uploaded to http://marmalade-repo.org/ making it very easy to install. 0 0 1970-01-01 00:00 No Moderation
 ocaml-mysql-protocol-0.2-available A tutorial and some documentation have been added. The PDF version of the tutorial is also available in the &quot;Documents&quot; section. 0 0 1970-01-01 00:00 No Moderation
 ocamlcore.org-future OCamlCore S.A.R.L has been proud to initiate, organize, and support various services for the OCaml community, with the help of the community and the CAML consortium. This includes: - the OCaml forge (forge.ocamlcore.org) (400 users, 250 projects) - the RSS agregator (planet.ocamlcore.org) - 4 community meetings - the creation of OASIS and OASIS-DB All these help to improve the visibility of the OCaml Community. And it will continue that way. OCamlCore S.A.R.L is proud that the above has been achieved not by the company alone, but also with the help of volunteers from the community. For reasons unrelated to the above, OCamlCore S.A.R.L will be discontinued. It is now time for me (Sylvain Le Gall) to move to a new company and to take new challenges. Concerning all services, the CAML Consortium has offered support and the individuals behind the various ocamlcore.org services (including Sylvain Le Gall) have decided to continue offering the services to the community. On the long term, the real changes will be that the services will be named &quot;*.ocaml.org&quot; rather than &quot;*.ocamlcore.org&quot; (thanks to Xavier Leroy for making this possible). This will make the services more vendor-neutral. Backward compatibility links will be preserved for 1 year starting from the domain name change. We will make an official announcement when we start the migration, so please be prepared to update your links. More than ever, you can join the volunteers maintaining the OCaml[Core].org services. Contact me (gildor @AT@ ocamlcore.org). 0 0 1970-01-01 00:00 No Moderation
 disk-space-problem-solved The server has run out of disk space, due to buggy program eating /tmp space. The bug is not fixed but the problem will only show up again in a few months. It will hopefully give me time to solve it. Cheers Sylvain Le Gall 0 0 1970-01-01 00:00 No Moderation
 argot--1.0 This versions brings the following changes : - new '-search' command-line switch to generate search information (available on HTML pages through the magnifying glass icon) - search by exact name - search by name using regular expression - search by type using isomorphisms (experimental) - new '-definitions' command-line switch to load variables from file - correct handling of embedded tables - more predefined licenses for the '@license' tag 0 0 1970-01-01 00:00 No Moderation
 first-release-0.1 https://forge.ocamlcore.org/frs/?group_id=276 0 0 1970-01-01 00:00 No Moderation
 release-2.0-alpha https://forge.ocamlcore.org/frs/?group_id=225 0 0 1970-01-01 00:00 No Moderation
 first-release-0.1.0 This is the first public release of the ocamlnat project, which aims to provide a native code toplevel for the OCaml language, that is mostly compatible to the byte code toplevel, but up to 100 times faster. It is based on the optimizing native code compiler, the native runtime and an earlier prototype by Alain Frisch. It is build upon Just-In-Time techniques and currently supports Unix-like systems (i.e. Linux, BSD or Mac OS X) running on x86 or x86-64 processors. Support for additional architectures and operating systems is planned, but not yet available. 0 0 1970-01-01 00:00 No Moderation
 melt-1.4.0---the--thesis-release- Version 1.4.0 of Melt, the tool to write LaTeX documents in OCaml, has been released. New LaTeX commands have been added, the melt tool binary has been renamed as melt-build, and some bugs have been fixed. My original goal with Melt was to use it to write my thesis. This release marks the version of Melt I used to compile the final version of my thesis. Along the way, Melt received several contributions from other PhD students who also wrote their thesis using Melt. Other articles and slides have been written as well. We can say that Melt is now mature. By the way, thanks to Stéphane Glondu, Melt is also available as a Debian package called ocaml-melt. The complete set of changes can be seen here: https://forge.ocamlcore.org/frs/shownotes.php?release_id=537 0 0 1970-01-01 00:00 No Moderation
 batteries-moving-to-2.0 Batteries is edging closer to making a 2.0 release, where we finally clean up some of the cruft that was included in 1.x releases. If you have any cruft that's bothering you, now's the time to let us know at https://github.com/ocaml-batteries-team/batteries-included/issues or on the mailing list batteries-devel@lists.forge.ocamlcore.org We're also finally going to use 3.12 features in batteries, so if this has held you back from contributing, show us your code. 0 0 1970-01-01 00:00 No Moderation
 barista--2.0-alpha2 Changelog: - move from Java 1.6 to Java 1.7 as default version - syntax extension for 'exception pattern' (BARISTA_ERROR) - syntax extension for Unicode literals (@&quot;string&quot; and @'c') - InputStream.t and OutputStream.t can now be created from functions - better error reporting when a signature is invalid - helper functions for serialization - minor refactoring of code (with small impact on API) - removed dependency to 'Str' module - bug #73: uniform handling of depencies - bug #83: correct construction of constant pool w.r.t. LDC instructions 0 0 1970-01-01 00:00 No Moderation
 packing-circles-into-a-rectangle How to pack a given number of disks into a rectangle so that they cover the greatest possible area. &lt;https://math.umons.ac.be/anum/en/software/OCaml/Circle_Packing/&gt;. 0 0 1970-01-01 00:00 No Moderation
 libsndfile-ocaml-0.8-available This is Erik de Castro Lopo own binding to it's libsndfile, maintained by Ph.Strauss. Usefull for reading/writing various audio file formats. Tarball and public git should be ok now. 0 0 1970-01-01 00:00 No Moderation
 lacaml-v6.0.0-released Lacaml is a binding to the celebrated linear algebra routines BLAS and LAPACK. This version builds with OASIS. Moreover the precision dependent code is available with Lacaml.D,... instead of the former Lacaml.Impl.D,... Enjoy. 0 0 1970-01-01 00:00 No Moderation
 gapi-ocaml-0.1 gapi-ocaml is a simple, unofficial, OCaml client for Google Services. The library supports ClientLogin, OAuth 1.0a, and OAuth 2.0 authentication. Currently supported RESTful APIs: Calendar APIs v3 (JSON based), Google+ API v1, Tasks API v1, APIs Discovery Service v1, URL Shortener API v1, OAuth2 API v2, Calendar Data API v2 (old Atom based version). 0 0 1970-01-01 00:00 No Moderation
 ocaml-mysql-protocol-0.3-available Compatibility with bitstring 2.0.3 0 0 1970-01-01 00:00 No Moderation
 jingoo-v1.0-release jingoo is ocaml template engine almost compatible with jinja2. see README and example/cheatsheet.tmpl will help you understand template syntax of jingoo. 0 0 1970-01-01 00:00 No Moderation
 preparing-release I'm finally got around to preparing a release for upload to Debian and uploaded 1.0~rc2 files. 0 0 1970-01-01 00:00 No Moderation
 releasing-libaio-ocaml-1.0 Libaio-ocaml 1.0 has been released and uploaded to Debian. The Aio module provides bindings for the libaio (Linux kernel AIO access library) C library. It can be used for fast asynchronous I/O. Compared with the OCaml standard and Unix I/O functions this library: * does not block * does I/O in the background * calls a continuation when the I/O has completed It also contains Aio.Buffer providing page aligned blocks of memory needed for Aio and helper functions to get and set various datatypes from/to the buffer. e.g. to extract an int64 in little endian order at offset 16. 0 0 1970-01-01 00:00 No Moderation
 ocaml-mysql-protocol-0.4-available Now tested with several versions of MySQL server (5.0.95, 5.1.61 and 5.5.20). 0 0 1970-01-01 00:00 No Moderation
 zarith-1.1-released ZArith is a fast, space-efficient, GMP-based library for arbitrary-precision integer and rational arithmetic. This minor release brings a few bug fixes, minor performance improvements, and improved support for future OCaml versions. 0 0 1970-01-01 00:00 No Moderation
 hg-repository-on-bitbucket See http://bitbucket.org/mmottl/lacaml 0 0 1970-01-01 00:00 No Moderation
 regstab-2.0.0-released - Complete refactoring - Improved efficiency - Now able to generate refutations - UTF8 output - A few more examples - Various new command-line options: * use inclusion instead of equality for cycle detection * display the lemmas that are actually used in the deduction * possibility to annotate files so as to indicate if the expected result is SAT or UNSAT * display options: UTF8 or ASCII, display the body of iterations or not for more conciseness * printing the model in case of satisfiability is not the default anymore - Improved user documentation - Improved developper documentation - Translation from schemata to LTL: sch2ltl 0 0 1970-01-01 00:00 No Moderation
 barista--2.0-alpha3 Changelog: - support for '*.sym' and '*.war' files in classpath - 'JAVA_HOME' environment variable used to load JDK classes - '/usr/libexec/java_home' utility used to load JDK classes (MacOS X) - 'Predef' module renamed to 'Predefined' - peephole rule for optimization of load/load sequences - no automatic detection of 'ocamljava' binary - bug #99: wrong packing of int32 into int64 - bug: ocamlbuild plugin for ocamljava-based compilation - bug: invalid stack maps when double/long is followed by top - bug: invalid locals size when over 255 - bug: incorrect graph flattening when wide gotos are used - bug: install 'cmi' file 0 0 1970-01-01 00:00 No Moderation
 ocaml-extunix-0.0.4-released ExtUnix aims to collect thin bindings to various low-level system API in one library with consistent interface. New release adds more bindings and introduces bigarray variants for some functions. Get it at https://forge.ocamlcore.org/frs/?group_id=175 0 0 1970-01-01 00:00 No Moderation
 ocaml-winsvc-0.0.1-released winsvc turns OCaml program into Windows service. This is the first release (albeit somewhat late). 0 0 1970-01-01 00:00 No Moderation
 ocaml-snappy-0.0.1-released ocaml-snappy implements bindings to snappy - a fast compression/decompression library. First release introduces simple functions to compress and decompress string buffers. 0 0 1970-01-01 00:00 No Moderation
 ocaml-mysql-1.1.1-released ocaml-mysql provides bindings to libmysqlclient. This release updates build tools and introduces windows builds (both for msvc and mingw), fixes OCaml 3.12 compatibility and adds a couple of new features. Get it at https://forge.ocamlcore.org/frs/?group_id=137 0 0 1970-01-01 00:00 No Moderation
 ocaml-geoip-0.0.1-released ocaml-geoip implements bindings to libGeoIP by maxmind.com . This first release provides comprehensive coverage of C api via camlidl. 0 0 1970-01-01 00:00 No Moderation
 ocaml-lzo-0.0.1-release ocaml-lzo implements bindings to LZO - a portable lossless data compression library. First release provides simple functions for compressing and decompressing string buffers. 0 0 1970-01-01 00:00 No Moderation
 batteries-updates Version 1.4.3 of batteries is just released, the third in a series of small-fix releases going on in the 1.4 branch while 2.0 gets ready. This release fixes the documentation, removing information about some previously available functionality and adding the `ocamlfind batteries/ocaml` wrapper for the toplevel with batteries included. 0 0 1970-01-01 00:00 No Moderation
 ocaml-gperftools-0.1-released gperftools provides interface to control the behavior of tcmalloc and monitor memory usage. This is the first release of ocaml bindings. 0 0 1970-01-01 00:00 No Moderation
 ocaml-extunix-0.0.5-released This release includes build compatibility tweaks, fixes potential crash with upcoming OCaml 4 and makes oUnit an optional dependency. ExtUnix aims to collect thin bindings to various low-level system API in one library with consistent interface. 0 0 1970-01-01 00:00 No Moderation
 calendar-2.03.2-released This release only fixes a compatibility issue with upcoming OCaml 4. 0 0 1970-01-01 00:00 No Moderation
 oasis-v0.3.0-release See the full blog post here: http://le-gall.net/sylvain+violaine/blog/index.php?post/2012/06/28/OASIS-0.3.0-release 0 0 1970-01-01 00:00 No Moderation
 major-change-soon... I am about to make a major change in the parser interface to allow parsing of any kind of tokens, the same way Ometa is doing: http://www.ometa.net/nl/Paginas/Home.aspx The parser will actually be a bit *smaller* and will NOT depend on the type of the parsed token stream. Any feedback on the current alpha-0.4 is nevertheless welcome (in case you have some specific requirements). 0 0 1970-01-01 00:00 No Moderation
 pg-ocaml-1.6-released This version fixes an issue in the build system which prevented PG'OCaml to be compiled with the upcoming OCaml 4.00. Users of OCaml 3.12.1 and older need not upgrade. 0 0 1970-01-01 00:00 No Moderation
 release-of-ocaml-safepass-1.0 This is the first stable release of OCaml-safepass, a library offering facilities for the safe storage of user passwords. By &quot;safe&quot; we mean that passwords are salted and hashed using the Bcrypt algorithm. Salting prevents rainbow-table based attacks, whereas hashing by a very time-consuming algorithm such as Bcrypt renders brute-force password cracking impractical. 0 0 1970-01-01 00:00 No Moderation
 ocaml-mysql-protocol-0.5-available The license is now LGPL. 0 0 1970-01-01 00:00 No Moderation
 yypkg-1.5-released Yypkg is a small, fast, platform-agnostic package manager. It can be used to manage any directory. It is built to help cross-compilation setups and it works both for and on Windows. Functionality changes: - doesn't rely on sexplib's camlp4 extension anymore (*) - handles running shell scripts when installing a package (yypkg) - skips packaging libtool's .la files (makeypkg) - doesn't try to adapt hard-coded paths in .pc files to the location they are installed to: there are too many hard-coded paths anyway - improve the GUI (still work to do) Fixes: - bad code with select() when reading bsdtar's output (yypkg -install) - don't mix bsdtar warnings with filenames during package installation (yypkg -install) - properly extract files in directories which are not &quot;.&quot;. 0 0 1970-01-01 00:00 No Moderation
 argot--1.1-release Main changes since 1.0: - full-text search over comments - search by type can now take advantage of type manifests - search by type now handles labeled parameters - search by type now handles optional parameters - new '-search-frame' command-line switch to have search panel in a frame, rather than in a window - update for OCaml 4.00.0 0 0 1970-01-01 00:00 No Moderation
 bisect-1.2 Changes: - new '-combine-expr' to allow combination of results - new 'dump' output mode (mainly for debug) - new 'bisect' output mode (i. e. format of runtime data) - new '-exclude-file' command-line switch to exclude toplevel functions listed in a file - update for OCaml 4.00.0 - bug #95: polymorphic recursion is not handled - bug #104: configure script should be executable 0 0 1970-01-01 00:00 No Moderation
 bolt--1.3 Changes: - enhanced support for Daikon - enhanced support for Pajé - removed dependency upon 'Str' library - API change: logger names now have type 'Name.t' rather than 'string' - new configuration format (through 'BOLT_CONFIG' environment variable), old format still available (through 'BOLT_FILE' environment variable) - loggers are now stored in a tree, for better performances - update for OCaml 4.00.0 0 0 1970-01-01 00:00 No Moderation
 lablwebkit-1.8.2-released Lablwebkit is a binding to the corresponding webkit-gtk version. Almost all of its API besides the DOM-related function is handled. This new version is an update to the webkit-gtk 1.8.2 API and doesn't introduce other changes. The bindings are generated automatically by cowboy and its support for glib2-based libraries. You can download the source at: https://forge.ocamlcore.org/frs/download.php/977/lablwebkit-1.8.2.tar.gz 0 0 1970-01-01 00:00 No Moderation
 mascot-1.0 - support for checks based on binary annotations - support for binary output mode, and report-only mode - new code check: 'catch_all' to detect patterns catching all exceptions - new code check: 'code.ignore_unit' check to detect application of 'ignore' to expression whose type is 'unit' - bug #72: allow punctuation after closing a block - bug #74: handle the '::' operator - bug #75: do not require whitespace after '?' used for optional label - bug #76: do not require whitespace around '..' used for character range - bug #77: allow absence of whitespace before unary minus if previous token is an opening one - bug #79: treat '[&lt; ... &gt;]' and '[| ... |]' blocks like '{ ... }' blocks - bug #80: allow whitespace after '.' when used to introduce polymorphic type - bug #81: allow opening token after a label - bug #84: use 'center' rather than 'p' tag with 'align' attribute, and correct handling of icons - bug #87: install shouldn't build anything - bug #89: do not activate warnings by default - bug #90: output available checks as a ready-to-use config - bug #93: 'interface.duplicate' to detect duplicate entries in signatures - bug #94: do not require whitespace after colon - bug #96: 'typography.trailing_white_space' now has a 'tolerance' parameter in order to indicate how many whitespace characters may be tolerated - update for OCaml 4.00.0 0 0 1970-01-01 00:00 No Moderation
 kaputt-1.2 - new 'Mock' module providing means of recording calls made to a function - support for specification of partial functions (i. e. raising exceptions) - preprocessor allowing to store tests in separated '.mlt' files - removed deprecated functions - update for OCaml 4.00.0 - bug#85: cmi file is not installed - bugfixes to bigarray and nums support 0 0 1970-01-01 00:00 No Moderation
 first-release-of-ocaml-binding-of-lua-library I'm happy to announce the first release of ocaml-lua, the OCaml binding of the Lua library. With ocaml-lua you can embed a Lua interpreter in an OCaml program in a few lines of code, and use Lua for configuration or customization purposes. Here are some references: The homepage of the project is hosted on OCaml Forge: http://ocaml-lua.forge.ocamlcore.org/ The complete library reference (ocamldoc generated) is here: http://ocaml-lua.forge.ocamlcore.org/api-lua/ Source tarballs are on the download page on OCaml Forge: http://forge.ocamlcore.org/frs/?group_id=167 The official GIT repository is here: http://forge.ocamlcore.org/scm/browser.php?group_id=167 Bug reports and feature requests are on my page on GitHub: https://github.com/pdonadeo/ocaml-lua/issues I hope it could be useful. 0 0 1970-01-01 00:00 No Moderation
 ocaml-mysql-protocol-0.6-available This release mainly fix a bug in handshake packet. The thread id was not correctly decoded and this could break the connection when this id &gt; 255. 0 0 1970-01-01 00:00 No Moderation
 google-drive-ocamlfuse-v0.1-released google-drive-ocamlfuse is a FUSE-based file system backed by Google Drive, written in OCaml. It lets you mount your Google Drive storage to a local directory on Linux. 0 0 1970-01-01 00:00 No Moderation
 delimited-overloading-0.8.15 This new release of Delimited Overloading is compatible with OCaml 4.00.0 and is built using oasis. 0 0 1970-01-01 00:00 No Moderation
 archimedes-0.4.15 Highlights: - Compiles with OCaml 4.00.0 - Graphics can output a BMP file (this makes possible to have a file output without requiring Cairo — limit dependencies on Windows). - Runs on Windows (path escape fixes,...). - uses _oasis 0.3 (remove the pack workaround) 0 0 1970-01-01 00:00 No Moderation
 macaque-0.6-released Macaque is the result of a student project aiming to develop a type-safe and composable way to interact with SQL databases from OCaml. We propose a form of &quot;comprehension syntax&quot; that allow to modularily create queries in a strongly-typed and relatively principled way. ## Release 0.6 After a few years of this mild continuous development, people have requested at several occasions that release be made. I tentatively tag the current state of Macaque as &quot;0.6&quot;. You can get an archive from the forge: https://forge.ocamlcore.org/frs/download.php/1027/macaque-0.6.tar.gz You can also get the new version from darcs: darcs get --tag 0.6 http://forge.ocamlcore.org/anonscm/darcs/macaque/macaque Thanks to everyone I have interacted with during this development; thanks to Vincent Balat and Anastasia Gornostaeva for their feedback. Thanks in particular to Jacques-Pascal Deplaix for his frequent feedback and occasional suggestions and contributions. ## More Details Macaque was initially developed at the PPS lab in Paris, under the supervision of Jérôme Vouillon. The current development mode could be described as &quot;coinductive&quot;: things get done in reaction to user requests or needs. The technical limitations of Macaque are the following: - It only support PostGreSQL (from lack of time to develop other backends). - Each feature of the SQL language must be considered and added separately, with the right typing; this aspect makes it structurally less complete than direct (but less composable) embedding of full SQL queries like the parent project PG'OCaml does, so the subset of SQL supported by Macaque is smaller -- but you can help extending it! http://pgocaml.forge.ocamlcore.org/ - You have to learn the comprehension-like syntax used by Macaque (it should be possible to write a frontend using the SQL syntax, but this hasn't been done yet). - The documentation *does* exist, but is not very good. It's the README that you can see at http://darcs.ocamlcore.org/repos/macaque/README and patches to improve it are welcome The version number below 1.0 highlights that Macaque is still an evolving project with no strong production-readiness guarantees, yet a number substantially higher than 0.1 indicates that it has seen several users and probably fixed the most glaring issues with the current feature set. (I would have initially chosen 0.3 or 0.7 as a version number. Like most people. '6' is an oft-overlooked number, a factorial and the product of the two first prime numbers.) 0 0 1970-01-01 00:00 No Moderation
 yypkg-1.6-released Yypkg, a small, fast and portable package manager, gets higher-level tools to download and install packages, along with a few UI improvements. 0 0 1970-01-01 00:00 No Moderation
 ocaml-rdf-0.2-is-available This release includes a new backend to store graphs in a Postgresql database. And now uses prepared queries to improve performance of database backends. 0 0 1970-01-01 00:00 No Moderation
 -godi-for-windows--homepage-online The Homepage for &quot;Godi for Windows&quot; is now online: http://wodi.forge.ocamlcore.org/ First test builds are linked there. The forge is currently only used for the tracker. Gui code repository: http://github.com/arirux/godigui ; official godi homepage: http://godi.camlcity.org/ 0 0 1970-01-01 00:00 No Moderation
 -godi-for-windows--homepage-online The Homepage for &quot;Godi for Windows&quot; is now online: http://wodi.forge.ocamlcore.org/ First test builds are linked there. The forge is currently only used for the tracker/homepage. Gui repository: http://github.com/arirux/godigui ; official godi homepage: http://godi.camlcity.org/ 0 0 1970-01-01 00:00 No Moderation
 bolt--1.4 This post announces the 1.4 release of the Bolt project, whose goal is to provide a comprehensive yet flexible logging framework for the OCaml language. Main changes since 1.3: - API change: introduction of modes, allowing to choose when data is written - API change: updated support for Pajé format (version 1.2.3) - support for '&amp;&amp;' and '||' in filters (new configuration format only) - new 'minimal' layout using only message - new 'bell' output writing the bell character on the standard output - new 'say' output using MacOS X text-to-speech - support for Growl under Windows - bug#86: '-ocaml-prefix' doesn't really work - bug#87: install shouldn't build anything - bug#89: do not activate warnings by default - bug#105: crashes with 'Not_found' when both BOLT_FILE and BOLT_CONFIG are not set - bug#107: when using syntax extension with level NONE, preprocessed code 0 0 1970-01-01 00:00 No Moderation
 bisect--1.3 Main changes since 1.2: - new instrumenter based on '-ppx' - new '-summary-only' to output only summary (text mode only) - refactoring, including minor bugfixes - bug#86: '-ocaml-prefix' doesn't really work - bug#87: install shouldn't build anything - bug#89: do not activate warnings by default 0 0 1970-01-01 00:00 No Moderation
 macaque-0.6.1 This is mostly a bugfix release: Jacques-Pascal Deplaix has spotted a bug in the way Macaque handles PostgreSQL rather baroque string escaping convention (you don't want to know the details), and after some head scratching we have a reasonable fix. In addition, Petter Urkedal has contributed support for the 'bytea' and 'int32_array' datatypes; for now, there is no literal syntax to describe them in the syntax extension, so one should build values on the OCaml side, through Sql.Value.bytea and Sql.Value.int32_array. 0 0 1970-01-01 00:00 No Moderation
 batteries-2.0-released Get it here: https://forge.ocamlcore.org/frs/download.php/1096/batteries-2.0.tar.gz Detailed interface changes: https://forge.ocamlcore.org/frs/download.php/1096/batteries-2.0.tar.gz API Docs: http://ocaml-batteries-team.github.com/batteries-included/hdoc2/index.html 0 0 1970-01-01 00:00 No Moderation
 ocurl-0.5.4-released ocurl is the set of bindings to libcurl - URL transfer library, supporting HTTP and many other protocols. This project is the fork of http://ocurl.sourceforge.net/ and accumulates many bugfixes and enhancements which didn't make it to the original version, including the multi API wrappers and pluggable asynchronous interface (which makes it possible to inject curl transfers in your event loop of choice). This is the first release for the fork, that incorporates all the bugfixes and new features from 3 years of its history, except the asynchronous api. Next release will merge branch event. I would like to thank Lars Nilsson, the original author of ocurl, who brought this project to existence. 0 0 1970-01-01 00:00 No Moderation
 release-of-ocaml-bitcoin-1.1 This release brings the OCaml-bitcoin API up-to-date with the recently released Bitcoin 0.8. 0 0 1970-01-01 00:00 No Moderation
 barista--2.0-beta Changes: - update for Objective Caml 4.00.1 - update for Camlzip 1.05 - new 'graph' command, allowing to generate the graph of classes references from a list of archives (supported file formats: Dot, GEXF, and GraphML) - new 'Lookup' module allowing to search for Java elements (classes, constructors, fields, and methods) from string queries - new 'Manifest' module providing support for archive manifest files - new 'ArchiveBuilder' module allowing to construct archives from classes, and handling manifest, services, and copy from other archives - the 'flow' command can now generate output to either GEXF, or GraphML, in addition to Dot - improved handling of classpaths - improved performance for class encoding (about 50% speed-up) - improved performance for stack state computations (about 30% speed-up) - optimization of switches (turning lookup switches into table switches if it saves some place) - new peephole optimizations, in order to avoid simple conversions of constants - API CHANGE: class types for 'traversal' objects enhanced with new methods - API CHANGE: 'Traversal' module renamed to 'ClassTraversal' - new 'traversal' class type allowing to fold over class elements - new 'ArchiveTraversal' module allowing to traverse archives - bug: incorrect handling of some 'package-info' class files - bug #86: '-ocaml-prefix' doesn't really work - bug #87: install shouldn't build anything - bug #89: do not activate warnings by default - bug #104: configure script should be executable - bug #110: error in annotation encoding of string value - bug #111: invalid stack frame when locals are changed in a protected block - bug #116: invalid stack frame after &quot;invokespecial&quot; instruction 0 0 1970-01-01 00:00 No Moderation
 ocaml-extunix-0.0.6-released Except for backwards-incompatible change in fstatat, this is a regular update, with a couple of new bindings. ExtUnix is a collection of thin wrappers for various low-level system api not covered by Unix module. 0 0 1970-01-01 00:00 No Moderation
 google-drive-ocamlfuse-v0.3.2-released google-drive-ocamlfuse is a FUSE-based file system backed by Google Drive, written in OCaml. It lets you mount your Google Drive storage to a local directory on Linux. Features: full read/write access to ordinary files and folders, read-only access to Google Docs, Sheets, and Slides (exported to configurable formats), multiple account support, duplicate file handling, access to trash (.Trash directory) Also available: OPAM package, Ubuntu 12.10 native executables 0 0 1970-01-01 00:00 No Moderation
 forge-distribution-upgrade-starting-2013-04-25---04-28 The admin team plans to upgrade the forge system. There will be various upgrade on the system. So some program can be broken in the next coupld of days. I expect to spend in between 1 and 3 days, depending on what breaks on the system. Feel free to contact me directly sylvain ... le-gall.net or gildor on IRC #ocaml. Sylvain Le Gall on behalf of the admin team. 0 0 1970-01-01 00:00 No Moderation
 cryptokit-1.7-released Now includes the SHA-3 hash function recently standardized by NIST. 0 0 1970-01-01 00:00 No Moderation
 ocaml-mysql-protocol-0.7-available This version drops tests for MySQL 5.0 and add tests for MySQL 5.6. 0 0 1970-01-01 00:00 No Moderation
 zarith-1.2-released Zarith is a fast, space-efficient, GMP-based library for arbitrary-precision integer and rational arithmetic. This minor release fixes a couple of bugs, improves Windows/Mingw support, and adds a fast path coded in assembly for ARM processors. 0 0 1970-01-01 00:00 No Moderation
 ocaml-rdf-0.5 Now include a Turtle parser and writer. 0 0 1970-01-01 00:00 No Moderation
 forge-downtime-on-22-06-19-16-to-23-06-14-00--utc-0200-- Hi all, We had an unexpected failure on the forge for 19h. This has happen in the middle of a week-end and it is only after some of you send me a mail that I was able to see the failure. The problem seems to be that we run out of memory (at least OOM killer was involved in the take down). This is unfortunately normal when running this kind of website with only 1GB of RAM. I don't think we lost any data, but if you were working on the forge yesterday around 19:00 UTC, double check the consistency of your VCS. Regards Sylvain 0 0 1970-01-01 00:00 No Moderation
 batteries-2.1-released Get the new release here: https://forge.ocamlcore.org/frs/download.php/1218/batteries-2.1.tar.gz 0 0 1970-01-01 00:00 No Moderation
 new-release--v1.1 I'm happy to announce a fix release of ocaml-lua, the OCaml binding of the Lua library. With ocaml-lua you can embed a Lua interpreter in an OCaml program in a few lines of code, and use Lua for configuration or customization purposes. Few changes from previous v1.0: * bug fixes; * support for LuaJIT (2.0.0 for Lua 5.1); * compiles on OSX (not much tested, I don't have a Mac at home); * support OPAM (package available soon in the official repository, pull request already sent); * now you can specify a memory limit allocable for the Lua state: http://ocaml-lua.forge.ocamlcore.org/api-lua/Lua_aux_lib.html#VALnewstate Here are some references: The homepage of the project is hosted on OCaml Forge: http://ocaml-lua.forge.ocamlcore.org/ The complete library reference (ocamldoc generated) is here: http://ocaml-lua.forge.ocamlcore.org/api-lua/ Source tarballs are on the download page on OCaml Forge: http://forge.ocamlcore.org/frs/?group_id=167 The official GIT repository is here: http://forge.ocamlcore.org/scm/browser.php?group_id=167 Bug reports and feature requests are on my page on GitHub: https://github.com/pdonadeo/ocaml-lua/issues 0 0 1970-01-01 00:00 No Moderation
 cryptokit-1.8-released. This is a minor release, fixing mostly build issues: - Build .cmxs with C bindings (Closes: #1303) - Use advapi32 on Windows (Close: #1055) - Allow to define --zlib-include and --zlib-libdir if zlib is not installed in the standard location. 0 0 1970-01-01 00:00 No Moderation
 litiom-2.1-released This release adds support for all HTML5 input types. 0 0 1970-01-01 00:00 No Moderation
 ocurl-0.6.0-released ocurl is the set of bindings to libcurl - URL transfer library, supporting HTTP and many other protocols. This release introduces bindings to pluggable asynchronous multi api, enabling the development of efficient ocurl wrappers for lwt and async. 0 0 1970-01-01 00:00 No Moderation
 expiration-of-ssl-certificate-and-upcoming-forge.ocaml.org Hi everyone, The wildcard SSL I bought a couple of years ago for *.ocamlcore.org is about to expire. I have decided to not buy a new commercial certificate. I am still considering my options, but I will probably go back to a free SSL cert from CACert. This is not widely supported but other upcoming changes don't push me to invest a lot in the ocamlcore.org domain name. I will publish more details about the SSL migration to CACert, but if you have problem with by the end of September, check that you trust CACert. The other big news is that OCaml Labs and RackSpace have provided me with a new host for the forge. This is a very good news because the current host starts to be unreliable. I will take advantage of this migration to initiate another migration: changing the name of the forge to forge.ocaml.org ! This is a strong signal that the OCaml community is uniting and I am all for it. Your forge master Sylvain Le Gall 1 2 2013-09-14 10:58 No Moderation
 ccss-1.4-released The most notable feature of this release is the introduction of mixins: a variable may now be assigned an entire declaration block. 0 0 1970-01-01 00:00 No Moderation
 ssl-up-again--special-thanks-to-gabriel-kerneis Hi, I was a little bit lazy and I have unfortunately let the SSL certificate expired two days ago. I was somehow busy releasing OUnit 2.0 ;-) The good news is that thanks to the suggestion of G. Kerneis in my previous post, I got a couple of new free SSL certificate from StartSSL. This is a very good news because this CA is well known (tested on Debian Wheezy and my Android Phone), so it means that we have the same level of recognition that we have before. The other good news is that at each iteration of the SSL renewal process, I learn new things! This time I learn about SSL/SNI extension that allows to have multiple certificate to handle each apache virtual host. This means that now https://forge.ocamlcore.org and https://lists.forge.ocamlcore.org are both using valid certificate. Enjoy Sylvain 0 0 1970-01-01 00:00 No Moderation
 ocaml-mysql-protocol-0.9-available Really close the socket when closing the connection to the MySQL server. Add a benchmark to compare with the C MySQL binding. 0 0 1970-01-01 00:00 No Moderation
 handling-spam-on-the-forge Someone recently opens a bug against OUnit which contains a strange HTML attachment. This was a spam with an embedded page about whatever Life Insurance. This is something I don't want to see on the Forge. I deleted the bug and suspended the user. If you see this kind of spam in the bug tracking, don't delete the spam. Report a bug about it using the &quot;Report bug&quot; link in the footer and I will take care of deleting the bug and suspending the user. Concerning mailing list, this is a bigger problem I need to address using another technique (still to be decided, suggestions are welcome). Happy hacking Sylvain Le Gall 0 0 1970-01-01 00:00 No Moderation
 ocaml-mysql-1.1.2-released ocaml-mysql provides bindings to libmysqlclient. This release adds one function Mysql.Prepared.execute_null to support prepared statements with NULL input parameters 0 0 1970-01-01 00:00 No Moderation
 oasis-v0.4.0-release Read the full blog post here: http://le-gall.net/sylvain+violaine/blog/index.php?post/2013/12/11/Release-of-OASIS-0.4.0 0 0 1970-01-01 00:00 No Moderation
 oasis-v0.4.1-release Major changes: Fix broken compilation with threads and OCaml &gt;= 4.01 (Closes: #1358) 0 0 1970-01-01 00:00 No Moderation
 ocaml-efl-1.8.0-released Major changes: - Moved to version 1.8 of the EFL and Elementary - Better threading support 0 0 1970-01-01 00:00 No Moderation
 batteries-2.2-released For more details, see the mailing-list announcement: https://sympa.inria.fr/sympa/arc/caml-list/2014-01/msg00154.html 0 0 1970-01-01 00:00 No Moderation
 ocaml-efl-1.8.1-released The interfacing of Elementary is now more or less complete. 0 0 1970-01-01 00:00 No Moderation
 ocurl-0.6.1-released ocurl is the set of bindings to libcurl - URL transfer library, supporting HTTP and many other protocols. This release contains usual set of enhancements and bugfixes 0 0 1970-01-01 00:00 No Moderation
 ocurl-0.7.0-released This release introduces basic Lwt interface, unleashing libcurl power in asynchronous setting. ocurl is the set of bindings to libcurl - URL transfer library, supporting HTTP and many other protocols (FTP/SMTP/RTSP/etc). 0 0 1970-01-01 00:00 No Moderation
 ocaml-efl-1.9.0-and-1.8.2-released Major changes: - moved to version 1.9 of the EFL - better interaction between callbacks and the GC - quite a lot of progress in interfacing Evas - New module Elm_toolbox to have easy parametrized dialog windows - Better cross compilation support 0 0 1970-01-01 00:00 No Moderation
 ccss-1.5-released This version's main feature is the support for @keyframes, used in CSS3 animations. 0 0 1970-01-01 00:00 No Moderation
 pg-ocaml-2.0-released This version features the removal of Batteries as a dependency, a number of additions to the API, and the fix of some long-standing minor issues. These fixes require breaking backward compatibility, hence the new major version number. (See the changelog file for full details.) 0 0 1970-01-01 00:00 No Moderation
 pg-ocaml-2.1-released Feature-wise, this version is identical to the previous one (version 2.0). It simply adds a couple of functions for compatibility with OCaml versions before 4.00.0. 0 0 1970-01-01 00:00 No Moderation
 ocaml-efl-1.10.0-released Major changes: - Moved to version 1.10 of the EFL and Elementary. - Introduced expereimental high-level functions addx (for more information, see the Getting Started page) Moreover, the new versions 1.8.3 and 1.9.1 are also available. 0 0 1970-01-01 00:00 No Moderation