Filewatcher File Search File Search
Catalog
Content Search
» » » »

frama-c_20111001+nitrogen+dfsg-4.debian.tar.gz

Homepage:-
Package version:-
Architecture:-
Distribution:Debian
Filename:frama-c_20111001+nitrogen+dfsg-4.debian.tar.gz

/debian/README.Debian

frama-c for Debian
------------------

Several files and directories are deleted from upstream's tarball:
- ocamlgraph.tar.gz: exists in a Debian package.
- why/: exists in a Debian package and exports the jessie library
- doc/manuals/: Documentation without sources.
- cil/doc/: Documentation without sources.
- src/impact and src/security : Proprietary code.
- tests/test/adpcm.c: File without lice
more»

/debian/README.source

Frama-C Debian source package
=============================

Patching upstream sources
-------------------------

This source package uses quilt to apply and remove its patches. Please
refer to `/usr/share/doc/quilt/README.source' for information about
how to use quilt for source packages.

The quilt series is generated from the Git repository, using
dom-{apply,save}-patches, from the dh-ocaml (>=
more»

/debian/changelog

frama-c (20111001+nitrogen+dfsg-4) unstable; urgency=low

  * Port to OCamlgraph 1.8.2
    - add 0007-Port-to-OCamlgraph-1.8.2.patch
  * Bump Standards-Version to 3.9.3, no changes needed

 -- Mehdi Dogguy <mehdi@debian.org>  Wed, 16 May 2012 14:58:29 +0200

frama-c (20111001+nitrogen+dfsg-3) unstable; urgency=low

  * Include patchlevel2 for Nitrogen 20111001.
    - add debian/patches/0006-Patchl
more»

/debian/TODO

- Make sure (when frama-c team will start to use alt-ergo) that they
  call 'alt-ergo' instead of '
more»

/debian/copyright

Format-Specification: http://wiki.debian.org/Proposals/CopyrightFormat
Packaged-By: Mehdi Dogguy <me
more»

Browse inside frama-c_20111001+nitrogen+dfsg-4.debian.tar.gz

         [DIR]debian/ (23)  30131+ mirrors

Download frama-c_20111001+nitrogen+dfsg-4.debian.tar.gz

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com