Bug#831664: why3: please make the build reproducible

To: Ralf Treinen <treinen@free.fr>, 831664@bugs.debian.org
Subject: Bug#831664: why3: please make the build reproducible
From: Chris Lamb <lamby@debian.org>
Date: Tue, 19 Jul 2016 18:04:04 +0200
Message-id: <[🔎] 1468944244.3814423.670753489.307BFD53@webmail.messagingengine.com>
Reply-to: Chris Lamb <lamby@debian.org>, 831664@bugs.debian.org
In-reply-to: <[🔎] 20160719160135.GC29593@seneca.home.org>
References: <[🔎] 1468835586.3333172.669258713.645D1812@webmail.messagingengine.com> <[🔎] 20160719160135.GC29593@seneca.home.org>

> thanks. Since I had already patched the package to not use BUILDDATE, I now
> just dropped it completely from configure.in.

Thanks!


Regards,

-- 
      ,''`.
     : :'  :     Chris Lamb
     `. `'`      lamby@debian.org / chris-lamb.co.uk
       `-

Reply to:

References:
- Bug#831664: why3: please make the build reproducible
  - From: Chris Lamb <lamby@debian.org>
- Bug#831664: why3: please make the build reproducible
  - From: Ralf Treinen <treinen@free.fr>

Prev by Date: Bug#831664: why3: please make the build reproducible
Next by Date: Processing of why3_0.87.1-2_source.changes
Previous by thread: Bug#831664: why3: please make the build reproducible
Next by thread: Bug#831664: marked as done (why3: please make the build reproducible)
Index(es):
- Date
- Thread