-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: frama-c Binary: frama-c, frama-c-base Architecture: any Version: 20150201+sodium+dfsg-2 Maintainer: Debian OCaml Maintainers <[email protected]> Uploaders: Mehdi Dogguy <[email protected]> Homepage: http://frama-c.com/ Standards-Version: 3.9.6 Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/frama-c.git Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/frama-c.git Build-Depends: debhelper (>= 7.0.50~), ocaml-nox (>= 3.12.0~), ocaml-best-compilers, dh-ocaml (>= 0.9~), graphviz, autoconf, libzarith-ocaml-dev, libocamlgraph-viewer-ocaml-dev (>> 1.8.5~), liblablgtk2-gnome-ocaml-dev (>= 2.14.0+dfsg-2~), liblablgtksourceview2-ocaml-dev (>= 2.14.0+dfsg-2~) Package-List: frama-c deb devel optional arch=any frama-c-base deb devel optional arch=any Checksums-Sha1: c6df554a8658a6cebc7d77906066cdf9ffcd1bfd 5879867 frama-c_20150201+sodium+dfsg.orig.tar.gz b03c2695dc0bacd853235db90c9b5a6c9b5a8d0f 23432 frama-c_20150201+sodium+dfsg-2.debian.tar.xz Checksums-Sha256: 59e800f8d773d3774ea14c1fe650e502212d61621f578e8bf2e8070f1d5bd5f4 5879867 frama-c_20150201+sodium+dfsg.orig.tar.gz f2898efc06f4b7e0901fba2ea3db7aef895077d38eefb833c255fce42cf298ea 23432 frama-c_20150201+sodium+dfsg-2.debian.tar.xz Files: 32e985f5c84689555b4a31f825506598 5879867 frama-c_20150201+sodium+dfsg.orig.tar.gz d938121e6f55844e98f0411967b2f5a3 23432 frama-c_20150201+sodium+dfsg-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJV5f/BAAoJEDO+GgqMLtj/EmYQAM7v50zYfrpGPoJxDp+9JuEx YIoTheTXNAeblw91a83IQzce8JbZIoRmpNWRVMyxm1/6QZ1eqhPrQDek2sb0FiE8 Ig42+JC3XSTjeYcSQLTwdbj/fejN2T9fF9vGg2ISRf0PNgiUq3z90xbePALWJIpw vcVv66o8I+cZjb5mfZNjWsksjtkVBfhPaIwTREFEmwtdvojpv1fAlWsWIRGdewll K2hnnTlxS1iRBbk4PHHUhI+ECoyqaggbj2gHk/URWvYhdQLIRsHPce8GK4eLv70V 8MC+1U1culjXyGoG+9fHq64d90PzlRyPBrENzFqm9LYQN3Iojmv6WKMAH5iM2blz 7UD3cPhm6Ha4678XIY1yy0TWN0++Y71uswRkPs4C6vUUGcuQbsLpP5Ioh/J4vwKx 7vPha/ztqzPSMOnNTCVyLa2Y3PYdHMJON2oFyvGkFTcVps0aM5zxFkcHda9qEmny GV9JfkTF9MTOEoXgGVd4csvBsqkEwFBV09Y4XOdMLL3KX2ocy3ZDdTO6taPVSl4G xF1glDaSaXIf9KVhVfjciPzesaWMcFawn+8DFPGL5O8d4evQS8R5QtkR01Vj2jTP nwqCCziup4GXT4sRdWkBLaQ/yyxczuMuyGRpsIDFtMXv1ZrgL3JYKhskA9BhzsYY 9tbSoP1q+Boaldu9g/mb =wlAk -----END PGP SIGNATURE----- Changes: frama-c (20150201+sodium+dfsg-2) unstable; urgency=medium * frama-c package must Breaks/Replaces older frama-c-base package (<< 20150201+sodium+dfsg-1~) since files were moved from the latter to the former (Closes: #797695). * Do not try to install plugins on bytecode architectures since they are provided only on native architectures. This is needed to fix FTBFS on bytecode architectures. -- Mehdi Dogguy <[email protected]> Tue, 01 Sep 2015 19:34:32 +0000
