lp:ubuntu/trusty-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

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

* Team upload
* Fix package build on bytecode architectures

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

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

7. By Matthias Klose on 2013-12-24

Rebuild for ocaml-4.01.

6. 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

5. By Colin Watson on 2011-11-19

Rebuild for OCaml 3.12.1.

4. By Adam Conrad on 2011-08-24

Rebuild to pick up ocaml fixes on armel.

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