[Pkg-ocaml-maint-commits] [SCM] frama-c packaging annotated tag, debian/20081201.dfsg-1, created. debian/20081201.dfsg-1

Mehdi Dogguy dogguy at pps.jussieu.fr
Thu May 21 12:35:12 UTC 2009


The annotated tag, debian/20081201.dfsg-1 has been created
        at  e2918f7d638fdfda4c082b5f05d3148c7c5e1985 (tag)
   tagging  bfc631316cbb4f68ab38c4707996256b2b5f727b (commit)
  replaces  upstream/20081201.dfsg
 tagged by  Samuel Mimram
        on  Thu May 21 14:34:33 2009 +0200

- Shortlog ------------------------------------------------------------
Debian release 20081201.dfsg-1

Mehdi Dogguy (27):
      Initial import of debian/ directory
      Add patches
      Typo
      Shorter header and updating packaging license
      Shorten debian/rules
      Typo in description
      Add missing dependencies
      Update copyright file
      Desactivate impact plugin… proprietary
      Merge commit 'upstream/20081201.dfsg'
      Disabling another proprietary plugin.
      Merge commit 'upstream/20081201.dfsg'
      Update README.Debian
      Close opened files in debian/man/generate-man
      Fix a little bug in generate-man
      Add alt-ergo in Depends
      Should call alt-ergo instead of ergo
      Add a TODO file
      Add menu entries
      Oups… the patch is not needed yet.
      Update deps and build-deps
      Update copyright file
      update deps and build deps
      Install byte binaries on native architectures and create links to manpages
      Make a smaller pixmap icon (32×32)
      Add ocaml-best-compilers in build-deps
      Fix old fsf address

-----------------------------------------------------------------------

-- 
frama-c packaging



More information about the Pkg-ocaml-maint-commits mailing list