[
Date Prev
][
Date Next
] [
Thread Prev
][
Thread Next
] [
Date Index
] [
Thread Index
]
Bug#794130: coq: please make the build reproducible (timestamps)
To
:
794130@bugs.debian.org
Subject
: Bug#794130: coq: please make the build reproducible (timestamps)
From
: Valentin Lorentz <
progval@progval.net
>
Date
: Thu, 30 Jul 2015 22:28:06 +0200
Message-id
: <
[🔎]
55BA88D6.8020607@progval.net
>
Reply-to
: Valentin Lorentz <
progval@progval.net
>,
794130@bugs.debian.org
In-reply-to
: <
[🔎]
55BA8804.9020006@progval.net
>
References
: <
[🔎]
55BA8804.9020006@progval.net
> <
[🔎]
55BA8804.9020006@progval.net
>
s/foo/coq/
Reply to:
debian-ocaml-maint@lists.debian.org
Valentin Lorentz (on-list)
Valentin Lorentz (off-list)
References
:
Bug#794130: coq: please make the build reproducible (timestamps)
From:
Valentin Lorentz <progval@progval.net>
Prev by Date:
Bug#794130: coq: please make the build reproducible (timestamps)
Next by Date:
opam_1.2.2-2_amd64.changes ACCEPTED into unstable
Previous by thread:
Bug#794130: coq: please make the build reproducible (timestamps)
Next by thread:
opam_1.2.2-2_amd64.changes ACCEPTED into unstable
Index(es):
Date
Thread