Ubuntu
frama-c package

Change log for frama-c package in Ubuntu

1 → 75 of 93 results First • Previous • • Last
Published in noble-release
Deleted in noble-proposed (Reason: Moved to noble) 
frama-c (20220511-manganese-5build7) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

 -- Steve Langasek <email address hidden>  Sun, 31 Mar 2024 05:18:58 +0000
Superseded in noble-release
Deleted in noble-proposed (Reason: Moved to noble) 
frama-c (20220511-manganese-5build6) noble; urgency=medium

  * No-change rebuild against libglib2.0-0t64

 -- Steve Langasek <email address hidden>  Fri, 08 Mar 2024 04:22:00 +0000
Deleted in noble-updates (Reason: superseded by release)
Superseded in noble-release
Deleted in noble-proposed (Reason: Moved to noble) 
frama-c (20220511-manganese-5build5) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Thu, 22 Feb 2024 08:36:38 +0100
Superseded in noble-proposed 
frama-c (20220511-manganese-5build4) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Mon, 19 Feb 2024 07:57:00 +0100
Superseded in noble-proposed 
frama-c (20220511-manganese-5build3) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Sat, 17 Feb 2024 01:23:27 +0100
Superseded in noble-release
Deleted in noble-proposed (Reason: Moved to noble) 
frama-c (20220511-manganese-5build2) noble; urgency=medium

  * Rebuild against 'new OCAML ABIs'.

 -- Gianfranco Costamagna <email address hidden>  Fri, 15 Dec 2023 07:55:32 +0100
Superseded in noble-release
Deleted in noble-proposed (Reason: Moved to noble) 
frama-c (20220511-manganese-5build1) noble; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Sat, 04 Nov 2023 20:12:29 +0100
Superseded in mantic-proposed 
frama-c (20220511-manganese-4build7) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Mon, 11 Sep 2023 14:46:01 +0200
Superseded in noble-release
Published in mantic-release
Deleted in mantic-proposed (Reason: Moved to mantic) 
frama-c (20220511-manganese-5) unstable; urgency=medium

  [ Stéphane Glondu ]
  * Team upload
  * Disable Why3 support (Closes: #1051485)
  * Depend on ocaml instead of transitional ocaml-nox

  [ Debian Janitor ]
  * Remove constraints unnecessary since buster (oldstable):
    + Build-Depends: Drop versioned constraint on dh-ocaml (>= 0.9~).
    + Build-Depends: Drop versioned constraint on libocamlgraph-ocaml-dev (>=
      1.8.8).

 -- Stéphane Glondu <email address hidden>  Sat, 09 Sep 2023 08:26:56 +0200
Superseded in mantic-release
Deleted in mantic-proposed (Reason: Moved to mantic) 
frama-c (20220511-manganese-4build6) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Mon, 28 Aug 2023 16:00:03 +0200
Superseded in mantic-release
Deleted in mantic-proposed (Reason: Moved to mantic) 
frama-c (20220511-manganese-4build5) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Fri, 28 Jul 2023 05:34:14 +0200
Superseded in mantic-proposed 
frama-c (20220511-manganese-4build4) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Thu, 27 Jul 2023 11:44:38 +0200
Superseded in mantic-proposed 
frama-c (20220511-manganese-4build3) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Wed, 26 Jul 2023 07:13:55 +0200
Superseded in mantic-release
Deleted in mantic-proposed (Reason: Moved to mantic) 
frama-c (20220511-manganese-4build2) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Tue, 18 Jul 2023 08:05:35 +0200
Superseded in mantic-proposed 
frama-c (20220511-manganese-4build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Mon, 17 Jul 2023 16:12:32 +0200
Superseded in mantic-proposed 
frama-c (20220511-manganese-4) unstable; urgency=medium

  [ Stéphane Glondu ]
  * Team upload
  * Fix compilation with recent yojson (Closes: #1040537)

  [ Debian Janitor ]
  * debian/copyright: use spaces rather than tabs to start continuation lines.

 -- Stéphane Glondu <email address hidden>  Thu, 13 Jul 2023 09:10:19 +0200
Superseded in mantic-proposed 
frama-c (20220511-manganese-4~build1) mantic; urgency=medium

  * Upload to Ubuntu

 -- Gianfranco Costamagna <email address hidden>  Thu, 13 Jul 2023 10:14:06 +0200
Superseded in mantic-release
Deleted in mantic-proposed (Reason: Moved to mantic) 
frama-c (20220511-manganese-3ubuntu1) mantic; urgency=medium

  * Cherry-pick build-fix for newer ocaml toolchain (Closes: #1040537)

 -- Gianfranco Costamagna <email address hidden>  Sat, 08 Jul 2023 17:30:52 +0200
Superseded in mantic-proposed 
frama-c (20220511-manganese-3build4) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Fri, 07 Jul 2023 20:28:49 +0200
Superseded in mantic-release
Published in lunar-release
Deleted in lunar-proposed (Reason: Moved to lunar) 
frama-c (20220511-manganese-3build3) lunar; urgency=medium

  * Rebuild against new ocam ABIs.

 -- Gianfranco Costamagna <email address hidden>  Sun, 19 Feb 2023 17:28:39 +0100
Superseded in lunar-proposed 
frama-c (20220511-manganese-3build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Thu, 16 Feb 2023 10:56:59 +0100
Superseded in lunar-release
Deleted in lunar-proposed (Reason: Moved to lunar) 
frama-c (20220511-manganese-3build1) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Fri, 27 Jan 2023 12:48:58 +0100
Superseded in lunar-release
Deleted in lunar-proposed (Reason: Moved to lunar) 
frama-c (20220511-manganese-3) unstable; urgency=medium

  * Create a versioned dependency on libwhy3-ocaml-dev (closes: #1023712).
    As a consequence, remove dependency on libwhy3-ocaml-dev in the tests.
  * Standards-Version 4.6.2 (no change)

 -- Ralf Treinen <email address hidden>  Tue, 27 Dec 2022 21:00:26 +0100
Superseded in lunar-release
Deleted in lunar-proposed (Reason: Moved to lunar) 
frama-c (20220511-manganese-2build1) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Sat, 26 Nov 2022 22:41:07 +0100
Superseded in lunar-release
Deleted in lunar-proposed (Reason: Moved to lunar) 
frama-c (20220511-manganese-2) unstable; urgency=medium

  * Fix properly the failing autopkgtest "wp" : spurious warning by "why3
    config" has to be sent to /dev/null.

 -- Ralf Treinen <email address hidden>  Sun, 23 Oct 2022 12:25:38 +0200
Superseded in lunar-release
Obsolete in kinetic-release
Deleted in kinetic-proposed (Reason: Moved to kinetic) 
frama-c (20220511-manganese-1.3) unstable; urgency=medium

  * Tighten the dep on newer why3 also for autopkgtest.

 -- Julien Puydt <email address hidden>  Mon, 27 Jun 2022 20:50:40 +0200
Superseded in kinetic-release
Deleted in kinetic-proposed (Reason: Moved to kinetic) 
frama-c (20220511-manganese-1.2) unstable; urgency=medium

  * Non-maintainer upload.
  * Tighten the dep on newer why3.

 -- Julien Puydt <email address hidden>  Mon, 27 Jun 2022 11:29:05 +0200
Superseded in kinetic-release
Deleted in kinetic-proposed (Reason: Moved to kinetic) 
frama-c (20220511-manganese-1.1) unstable; urgency=medium

  * Non-maintainer upload.
  * Add crude dep on libppx-import-ocaml by hand (why does dh-ocaml
  fail to detect it?).
  * Add workaround for failing autopkgtest.

 -- Julien Puydt <email address hidden>  Thu, 23 Jun 2022 11:46:20 +0200
Superseded in kinetic-proposed 
frama-c (20220511-manganese-1) unstable; urgency=medium

  * New upstream version. This version is compatible with why3 version
    1.5.0 (closes: #1011892,#1010867).
  * Add build-dependency on
    - libppx-import-ocaml-dev
    - libppx-deriving-ocaml-dev
  * debian/copyright: drop mention of plugins that are no longer
    included in the upstream distribution:
    - coqwp
    - ergo
  * Standards-Version 4.6.1 (no change)

 -- Ralf Treinen <email address hidden>  Sat, 18 Jun 2022 19:39:11 +0200
Superseded in kinetic-proposed 
frama-c (20211203-chromium-1) unstable; urgency=medium

  * New upstream release. This release fixes FTBFS with why3 >= 1.4.0
    (closes: #1000491)
    - drop patch 0001-E-ACSL-avoid-cmx-dependencies-when-in-a-byte-only-ar
      which has been applied upstream.
    - refresh remaining patches
  * install: move libeacsl-dlmalloc.a from usr/lib to usr/lib/frama-c/e-acsl
  * d/copyright: remove some file patterns that no longer apply.
  * d/tests/wp: update call to "why3 config"
  * Standards-Version 4.6.0 (no change)

 -- Ralf Treinen <email address hidden>  Tue, 22 Mar 2022 08:02:03 +0100
Deleted in jammy-proposed (Reason: FTBFS with current why3, removed from Debian testing, blo...) 
frama-c (20201209+titanium-4.1build2) jammy; urgency=medium

  * No-change rebuild for current ocaml ABIs

 -- Steve Langasek <email address hidden>  Thu, 09 Dec 2021 15:53:33 +0000
Deleted in jammy-release (Reason: FTBFS with current why3, removed from Debian testing, blo...)
Deleted in jammy-proposed (Reason: Moved to jammy) 
frama-c (20201209+titanium-4.1build1) jammy; urgency=medium

  * Rebuild against new ocam ABIs.

 -- Gianfranco Costamagna <email address hidden>  Sun, 07 Nov 2021 02:17:45 +0100
Superseded in jammy-release
Obsolete in impish-release
Obsolete in hirsute-release
Deleted in hirsute-proposed (Reason: moved to Release) 
frama-c (20201209+titanium-4.1) unstable; urgency=medium

  * Non-maintainer upload
  * Fix new eva test dependencies and return in case of error (Closes:
    #982148)

 -- Gianfranco Costamagna <email address hidden>  Thu, 11 Feb 2021 23:09:31 +0100
Superseded in hirsute-release
Deleted in hirsute-proposed (Reason: moved to Release) 
frama-c (20201209+titanium-4ubuntu1) hirsute; urgency=medium

  * Fix new eva test dependencies and return in case of error (Closes:
    #982148)

 -- Gianfranco Costamagna <email address hidden>  Thu, 11 Feb 2021 23:09:31 +0100
Superseded in hirsute-proposed 
frama-c (20201209+titanium-4build1) hirsute; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Thu, 11 Feb 2021 19:51:57 +0100
Superseded in hirsute-proposed 
frama-c (20201209+titanium-4) unstable; urgency=medium

  * Add a test for the eva plugin
  * Test of the wp plugin: set skip-not-installable, since alt-ergo
    and why3 might be not installable.

 -- Ralf Treinen <email address hidden>  Mon, 11 Jan 2021 20:17:46 +0100
Superseded in hirsute-release
Deleted in hirsute-proposed (Reason: moved to Release) 
frama-c (20201209+titanium-3) unstable; urgency=medium

  * Patch 0001-E-ACSL-avoid-cmx-dependencies-when-in-a-byte-only-ar.patch:
    fix FTBFS on bytecode architectures (closes: #979569).
    Thanks to André Maroneze for the patch
  * Add Recommends libwhy3-ocaml-dev, as it is needed by frama-c to run why3.
  * Test wp:
    - add test-dependency libwhy3-ocaml-dev
    - run why3 config

 -- Ralf Treinen <email address hidden>  Fri, 08 Jan 2021 21:32:55 +0100
Superseded in hirsute-release
Deleted in hirsute-proposed (Reason: moved to Release) 
frama-c (20201209+titanium-2) unstable; urgency=medium

  * Add recommends why3 (for the wp plugin)
  * Test wp: add depends on why3

 -- Ralf Treinen <email address hidden>  Sun, 03 Jan 2021 10:35:26 +0100
Superseded in hirsute-release
Deleted in hirsute-proposed (Reason: moved to Release) 
frama-c (20201209+titanium-1) unstable; urgency=medium

  * New upstream release.
  * Drop patch 0004-Use-ocamlfind-package-lablgtk2-gnome.gnomecanvas as
    we are building against lablgtk3; refresh the other patches.
  * Standards-Version 4.5.1 (no change)
  * Rules-Requires-Root=no
  * Update package description (we also ship the gui)
  * Add as-installed package tests:
    - wp (deductive verification with alt-ergo)
  * gbp configuration : add filter for the executable in the spamassassin test

 -- Ralf Treinen <email address hidden>  Sat, 02 Jan 2021 10:59:17 +0100
Superseded in hirsute-release
Deleted in hirsute-proposed (Reason: moved to Release) 
frama-c (20200625+scandium-2build3) hirsute; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Mon, 07 Dec 2020 07:48:49 +0100
Superseded in hirsute-release
Deleted in hirsute-proposed (Reason: moved to Release) 
frama-c (20200625+scandium-2build2) hirsute; urgency=medium

  * No-change rebuild for ocaml abi changes.

 -- Matthias Klose <email address hidden>  Tue, 03 Nov 2020 21:56:50 +0100
Superseded in hirsute-release
Obsolete in groovy-release
Deleted in groovy-proposed (Reason: moved to Release) 
frama-c (20200625+scandium-2build1) groovy; urgency=medium

  * No-change rebuild against latest lablgtk3

 -- Jeremy Bicha <email address hidden>  Sat, 03 Oct 2020 20:38:06 -0400
Superseded in groovy-release
Deleted in groovy-proposed (Reason: moved to Release) 
frama-c (20200625+scandium-2) unstable; urgency=medium

  * Drop removal of ptests.byte from debian/rules as it is not installed
    anyway, and mark it as not installed.
  * Fix pathname in removing redundant frama-c.byte

 -- Ralf Treinen <email address hidden>  Wed, 26 Aug 2020 08:39:38 +0200
Superseded in groovy-proposed 
frama-c (20200625+scandium-1) unstable; urgency=medium

  * New upstream release.
    This version works with why3 1.3.1 (closes: #963705)
    This version solves FTBFS (closes: #959599)
  * Add myself as uploader
  * Add dependency on ${perl:Depends} and dependency on python3
  * Build-dependencies:
    - use debhelper-compat, remove file debian/compat
    - bump versions according to upstream's opam file
    - drop ocaml-best-compilers which is now a virtual package
    - add liblablgtk{sourceview}3-ocaml-dev
  * Debhelper-compatibility level 13
    - invoke dh --without autoreconf
  * Installation:
    - install the complete directory /usr/lib/frama-c/plugins
    - install usr/lib/libeacsl-dlmalloc.a
    - install frama-c-script and frama-c-gui binaries
    - register ptests and e-acsl-gcc as not installed
  * Add symbolic link for the manpage of frama-c-gui.byte
  * d/copyright:
    - remove entries concerning files that are no longer in the source tree.
    - add text of the BSD-3 license, rename to BSD-3-clause
    - migrate to machine-readable format 1.0
    - remove copy of LGPL 2.1
  * Fix format of long description
  * Standards-Version 4.5.0
  * Update Homepage

 -- Ralf Treinen <email address hidden>  Tue, 25 Aug 2020 20:37:33 +0200
Superseded in groovy-release
Published in focal-release
Deleted in focal-proposed (Reason: moved to Release) 
frama-c (20191204+calcium-0.1) unstable; urgency=medium

  [ Dimitri John Ledkov ]
  * New upstream release (Closes: #944365)
  * Add dependencies on libyojson-ocaml-dev and libwhy3-ocaml-dev
  * Refresh patches
  * Drop patches now upstream:
    - 0006-Fix-installation-on-bytecode-architectures.patch
    - 0007-Fix-FTBFS-with-OCaml-4.05.0.patch
  [ Gianfranco Costamagna ]
  * Drop debian/README.Debian. We don't need to repack anymore the sources,
    because embedded libraries have been removed upstream

 -- Gianfranco Costamagna <email address hidden>  Fri, 20 Mar 2020 19:14:20 +0100
Superseded in focal-release
Deleted in focal-proposed (Reason: moved to Release) 
frama-c (20191204+calcium-0ubuntu2) focal; urgency=medium

  * No change rebuild against new coq

 -- Gianfranco Costamagna <email address hidden>  Fri, 20 Mar 2020 20:05:10 +0100
Superseded in focal-release
Deleted in focal-proposed (Reason: moved to Release) 
frama-c (20191204+calcium-0ubuntu1) focal; urgency=medium

  * New upstream release

 -- Dimitri John Ledkov <email address hidden>  Tue, 25 Feb 2020 13:52:36 +0000
Superseded in focal-proposed 
frama-c (20171101+sulfur+dfsg-2build3) focal; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Fri, 21 Feb 2020 12:36:53 +0100
Superseded in focal-release
Obsolete in eoan-release
Deleted in eoan-proposed (Reason: moved to release) 
frama-c (20171101+sulfur+dfsg-2build2) eoan; urgency=medium

  * No-change upload with strops.h and sys/strops.h removed in glibc.

 -- Matthias Klose <email address hidden>  Thu, 05 Sep 2019 10:49:42 +0000
Superseded in eoan-release
Deleted in eoan-proposed (Reason: moved to release) 
frama-c (20171101+sulfur+dfsg-2build1) eoan; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Mon, 05 Aug 2019 08:28:57 +0200
Superseded in eoan-release
Obsolete in disco-release
Deleted in disco-proposed (Reason: moved to release) 
frama-c (20171101+sulfur+dfsg-2) unstable; urgency=medium

  * Team upload
  * Stop building the GUI, drop frama-c binary package (Closes: #911159)

 -- Stéphane Glondu <email address hidden>  Mon, 12 Nov 2018 11:44:42 +0100
Superseded in disco-release
Obsolete in cosmic-release
Deleted in cosmic-proposed (Reason: moved to release) 
frama-c (20171101+sulfur+dfsg-1) unstable; urgency=medium

  * New upstream release
  * Refresh patches and remove the following ones which were applied
    upstream:
    - 0001-Fix-spelling-error-in-binary.patch
    - 0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch
    - 0008-More-fixes-of-spelling-errors.patch
    - 0009-Better-handling-of-dynlink-detection.patch
    - 0010-Add-zsh-completion-file.patch
    - 0011-Fix-installation-target-on-bytecode-architectures.patch
    - 0012-Do-not-use-C-CPPFLAG-when-compiling-jemalloc.patch
  * Update Vcs-* fields in order to use Salsa repositories
  * Fix installation on bytecode architectures
    - add 0006-Fix-installation-on-bytecode-architectures.patch

 -- Mehdi Dogguy <email address hidden>  Fri, 11 May 2018 17:39:36 +0200
Superseded in cosmic-release
Deleted in cosmic-proposed (Reason: moved to release) 
frama-c (20170501+phosphorus+dfsg-2build2) cosmic; urgency=medium

  * No-change rebuild for ncurses soname changes.

 -- Matthias Klose <email address hidden>  Thu, 03 May 2018 15:19:37 +0000
Superseded in cosmic-release
Published in bionic-release
Deleted in bionic-proposed (Reason: moved to release) 
frama-c (20170501+phosphorus+dfsg-2build1) bionic; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Sat, 28 Oct 2017 16:39:11 +0200
Superseded in bionic-release
Obsolete in artful-release
Deleted in artful-proposed (Reason: moved to release) 
frama-c (20170501+phosphorus+dfsg-2) unstable; urgency=medium

  * Fix typo in patch 0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch
  * Add zsh completion file from upstream's repository
    - add 0010-Add-zsh-completion-file.patch
  * Better dynlink detection in configure script (Closes: #871912)
    - add 0009-Better-handling-of-dynlink-detection.patch
  * Fix install target in Makefile to avoid trying to install native
    objects on bytecode architectures
  * Do not use '-C' CPPFLAG when compiling jemalloc, as math.h bombs out
    with -C on i386. (Closes: #874273, LP: #1714514). Thanks to Dimitri
    John Ledkov for the patch.

 -- Mehdi Dogguy <email address hidden>  Sun, 10 Sep 2017 13:52:22 +0200
Superseded in artful-release
Deleted in artful-proposed (Reason: moved to release) 
frama-c (20170501+phosphorus+dfsg-1ubuntu1) artful; urgency=medium

  * Do not use '-C' CPPFLAG when compiling jemalloc, as math.h bombs out
    with -C on i386. LP: #1714514

 -- Dimitri John Ledkov <email address hidden>  Thu, 31 Aug 2017 23:47:37 +0100
Superseded in artful-proposed 
frama-c (20170501+phosphorus+dfsg-1) unstable; urgency=medium

  * New upstream release
  * Update copyright file
  * Refresh patches
  * Add patch to fix more spelling errors
    - add 0008-More-fixes-of-spelling-errors.patch
  * Add references to upstream bugs for some patches

 -- Mehdi Dogguy <email address hidden>  Fri, 11 Aug 2017 14:06:33 -0400
Superseded in artful-proposed 
frama-c (20161101+silicon+dfsg-6) unstable; urgency=medium

  * Team upload
  * Fix FTBFS with OCaml 4.05.0 (Closes: #843020)

 -- Stéphane Glondu <email address hidden>  Thu, 27 Jul 2017 19:03:40 +0200
Superseded in artful-release
Deleted in artful-proposed (Reason: moved to release) 
frama-c (20161101+silicon+dfsg-5build3) artful; urgency=high

  * No change rebuild against zarith and caml 4.04.

 -- Dimitri John Ledkov <email address hidden>  Mon, 03 Jul 2017 11:19:49 +0100
Superseded in artful-proposed 
frama-c (20161101+silicon+dfsg-5build2) artful; urgency=high

  * No change rebuild against ocaml 4.04.

 -- Dimitri John Ledkov <email address hidden>  Mon, 03 Jul 2017 01:29:32 +0100
Superseded in artful-release
Deleted in artful-proposed (Reason: moved to release) 
frama-c (20161101+silicon+dfsg-5build1) artful; urgency=medium

  * No change rebuild against new ocaml ABIs

 -- Gianfranco Costamagna <email address hidden>  Mon, 05 Jun 2017 11:08:38 +0200
Deleted in artful-proposed (Reason: moved to release)
Deleted in zesty-proposed (Reason: Moved to artful-proposed) 
frama-c (20161101+silicon+dfsg-5) unstable; urgency=medium

  * Add Breaks/Replaces frama-c-base (<= 20140301+neon+dfsg-3) to
    frama-c (Closes: #851104)

 -- Mehdi Dogguy <email address hidden>  Sun, 15 Jan 2017 13:00:55 +0100
Superseded in zesty-proposed 
frama-c (20161101+silicon+dfsg-4) unstable; urgency=medium

  * Fix FTBFS by avoiding use of PWD variable in Makefile
    - Update patch 0005-Value.cmo-needs-LoopAnalysis.cmo.patch

 -- Mehdi Dogguy <email address hidden>  Sun, 01 Jan 2017 17:28:41 +0100
Superseded in zesty-proposed 
frama-c (20161101+silicon+dfsg-3) unstable; urgency=medium

  * Fix typo in Vcs-Browser field
  * Install frama-c-config utility in frama-c-base
  * Clean up content of filtered files from debian/gbp.conf
  * Avoid double linking of LoopAnalysis.cmo
  * ocaml-findlib is not needed for frama-c-base. It has a runtime dependency
    on libfindlib-ocaml which is enough.
  * Re-enable Impact plugin by dropping --disable-impact flag for configure
    script. The plugin used to be non open-source, which is not the case
    anymore.
  * Drop configure flag --disable-security as it became useless.
  * configure script is now able to find zarith correctly. The use of
    --enable-zarith=<path> is not needed anymore. Thus, dropping it.

 -- Mehdi Dogguy <email address hidden>  Sun, 01 Jan 2017 00:37:33 +0100
Superseded in zesty-proposed 
frama-c (20161101+silicon+dfsg-2) unstable; urgency=medium

  * Disable apron
  * Add ocaml-findlib as a dependency for frama-c-base
  * Fix build on bytecode architectures
    - add patch debian/patches/0005-Add-a-section-for-LoopAnalysis-plugin.patch
    - add patch debian/patches/0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch

 -- Mehdi Dogguy <email address hidden>  Wed, 21 Dec 2016 14:17:38 +0100
Superseded in artful-release
Obsolete in zesty-release
Obsolete in yakkety-release
Deleted in yakkety-proposed (Reason: moved to release) 
frama-c (20151002+magnesium+dfsg-1build2) yakkety; urgency=medium

  * No-change rebuild against libfindlib-ocaml-ygtb5

 -- Steve Langasek <email address hidden>  Sun, 10 Jul 2016 10:49:02 +0000
Superseded in yakkety-release
Published in xenial-release
Deleted in xenial-proposed (Reason: moved to release) 
frama-c (20151002+magnesium+dfsg-1build1) xenial; urgency=medium

  * Rebuild for new GHC ABIs.

 -- Matthias Klose <email address hidden>  Thu, 04 Feb 2016 11:58:13 +0100
Superseded in xenial-proposed 
frama-c (20151002+magnesium+dfsg-1) unstable; urgency=medium

  * New upstream release
    - Refresh patches.
    - Add ocaml-findlib and libfindlib-ocaml-dev to Build-Depends
      since they became a hard requirement.
  * Fix variable FRAMA_GUI_LIBS in debian/rules: "gui" directory
    moved from "src" to "src/plugins".
  * Fix ocaml-dangling-cmx and ocaml-dangling-cmxa.

 -- Mehdi Dogguy <email address hidden>  Sun, 24 Jan 2016 00:33:56 +0100
Superseded in xenial-release
Deleted in xenial-proposed (Reason: moved to release) 
frama-c (20150201+sodium+dfsg-2build3) xenial; urgency=medium

  * No-change rebuild against new ocaml ABIs

 -- Iain Lane <email address hidden>  Wed, 04 Nov 2015 10:36:55 +0000
Superseded in xenial-proposed 
frama-c (20150201+sodium+dfsg-2build2) xenial; urgency=medium

  * No-change rebuild against the new lablgtk2 and ocamlgraph.

 -- Łukasz 'sil2100' Zemczak <email address hidden>  Thu, 29 Oct 2015 01:10:47 +0100
Superseded in xenial-proposed 
frama-c (20150201+sodium+dfsg-2build1) xenial; urgency=medium

  * No-change rebuild against the new lablgtk2.

 -- Łukasz 'sil2100' Zemczak <email address hidden>  Thu, 29 Oct 2015 01:10:47 +0100
Superseded in xenial-release
Obsolete in wily-release
Deleted in wily-proposed (Reason: moved to release) 
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 address hidden>  Tue, 01 Sep 2015 19:34:32 +0000
Superseded in wily-proposed 
frama-c (20140301+neon+dfsg-3build1) wily; urgency=medium

  * No-change rebuild for new ocaml-zarith.

 -- Matthias Klose <email address hidden>  Sun, 09 Aug 2015 13:01:48 +0200
Superseded in wily-release
Obsolete in vivid-release
Obsolete in utopic-release
Deleted in utopic-proposed (Reason: moved to release) 
frama-c (20140301+neon+dfsg-3) unstable; urgency=medium


  * Add a call to autoconf prior to configure.

 -- Mehdi Dogguy <email address hidden>  Tue, 29 Apr 2014 19:16:49 +0200
Superseded in utopic-proposed 
frama-c (20140301+neon+dfsg-2) unstable; urgency=medium


  * The new configure script tries to compile a test program linking
    against the OCamlgraph library. Unfortunately, upstream only tests
    the native case and fails for the bytecode case. Since, the OCamlgraph
    library is tested elsewhere, I'm adding a patch to disable that check.
    This resolves observed FTBFS on bytecode architectures (mips and mipsel).
    - Add 0005-Don-t-fail-during-the-configure-on-bytecode-architec.patch

 -- Mehdi Dogguy <email address hidden>  Mon, 28 Apr 2014 21:28:44 +0200
1 → 75 of 93 results First • Previous • • Last