Processed: Re: gnat: please use SOURCE_DATE_EPOCH for reproducible ALI timestamps

To: Nicolas Boulenguez <nicolas@debian.org>
Cc: debian-gcc@lists.debian.org
Subject: Processed: Re: gnat: please use SOURCE_DATE_EPOCH for reproducible ALI timestamps
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Tue, 28 Feb 2017 19:27:04 +0000
Message-id: <[🔎] handler.s.B856042.148830980216129.transcript@bugs.debian.org>
References: <[🔎] 20170228192317.6vrzyzleps3ey4ic@pegase> <[🔎] 20170224151428.3lxekx5xvxjsw54i@pegase>

Processing control commands:

> tags 856042 + patch
Bug #856042 [gnat-7] gnat: please use SOURCE_DATE_EPOCH for reproducible ALI timestamps
Added tag(s) patch.

-- 
856042: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=856042
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#856042: gnat: please use SOURCE_DATE_EPOCH for reproducible ALI timestamps
  - From: Nicolas Boulenguez <nicolas@debian.org>
- Bug#856042: gnat: please use SOURCE_DATE_EPOCH for reproducible ALI timestamps
  - From: Nicolas Boulenguez <nicolas@debian.org>

Prev by Date: Results for 5.4.1 20170226 (Debian 5.4.1-7) testsuite on powerpc64le-unknown-linux-gnu
Next by Date: Bug#856042: gnat: please use SOURCE_DATE_EPOCH for reproducible ALI timestamps
Previous by thread: Bug#856042: gnat: please use SOURCE_DATE_EPOCH for reproducible ALI timestamps
Next by thread: Bug#856042: gnat: please use SOURCE_DATE_EPOCH for reproducible ALI timestamps
Index(es):
- Date
- Thread