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

frama-c_20100401+boron+dfsg-5.debian.tar.gz

Homepage:-
Package version:-
Architecture:-
Distribution:Debian
Filename:frama-c_20100401+boron+dfsg-5.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 (20100401+boron+dfsg-5) unstable; urgency=low

  [ St├ęphane Glondu ]
  * Fix versioned build-deps to ensure smoother backports

  [ Mehdi Dogguy ]
  * Add 0011-Fix-some-minor-memory-leaks.patch

 -- Mehdi Dogguy <mehdi@debian.org>  Tue, 05 Oct 2010 18:49:13 +0200

frama-c (20100401+boron+dfsg-4) unstable; urgency=low

  * Add 0009-unrollType-in-handle_signed_overflow from upstream.
  * Ad
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 <do
more»

Browse inside frama-c_20100401+boron+dfsg-5.debian.tar.gz

         [DIR]debian/ (23)  30131+ mirrors

Download frama-c_20100401+boron+dfsg-5.debian.tar.gz

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