lp:ubuntu/utopic-proposed/ocaml-atd

Branch merges

Propose for merging

No branches dependent on this one.

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

7. By Stéphane Glondu on 2014-08-06

* Team upload
* New upstream release

6. By Stéphane Glondu on 2014-01-31

* Team upload
* Fix package build on bytecode architectures

5. By Stéphane Glondu on 2014-01-29

* Team upload
* New upstream release
* Bump Standards-Version to 3.9.5

4. By Hendrik Tews <email address hidden> on 2013-06-06

[ Sylvain Le Gall ]
* Remove Sylvain Le Gall from uploaders

[ Hendrik Tews ]
* fix watch file and hompage
* new upstream version
* add myself as uploader
* bump debhelper compat level and standards version
* update package description
* update copyright
* fix patches
  - delete old patch
  - add makefile.patch for byte compilation and installation of some ml files
  - add lintian-allows-to.patch to fix lintian allows warning
  - add build-manual-without-install.patch to build manual/atd-manual.html
    without prior installation of the atd library
* update rules and other debhelper files
* fix build dependencies
* install pdf version of manual
* enable tests
* rewrite/improve man page

3. By Stéphane Glondu on 2011-07-11

* Team upload
* New upstream release
* Bump Standards-Version to 3.9.2

2. By Sylvain Le Gall on 2010-12-04

Add doc-base for ATD manual

1. By Sylvain Le Gall on 2010-12-04

Import upstream version 0.9.2