Ubuntu
alt-ergo package

Change logs for alt-ergo source package in Hirsute

  1. Hirsute (21.04)
  2. Change log 
  • alt-ergo (2.0.0-7build2) hirsute; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Sat, 28 Nov 2020 10:23:45 +0100
  • alt-ergo (2.0.0-7build1) hirsute; urgency=medium

  * No-change rebuild for ocaml abi changes.

 -- Matthias Klose <email address hidden>  Mon, 02 Nov 2020 14:46:51 +0100
  • alt-ergo (2.0.0-7) unstable; urgency=medium

  * Team upload
  * Add empty override_dh_dwz to prevent FTBFS
  * Update debian/watch
  * Bump debhelper compat level to 13
  * Add Rules-Requires-Root: no

 -- Stéphane Glondu <email address hidden>  Tue, 11 Aug 2020 10:05:10 +0200