[Pkg-pascal-devel] pasdoc and timestamps

Michalis Kamburelis michalis.kambi at gmail.com
Tue May 12 18:39:41 UTC 2015

Paul Gevers wrote:
> Hi Michalis,
> On 12-05-15 19:50, Michalis Kamburelis wrote:
>> Summary: - --exclude-generator (exclude 1. and 2.) and
>> --include-creation-time (include 3.) would be orthogonal, so
>> there's no question about "what is the priority". - default would
>> be to show pasdoc name and version, but not creation time --- is
>> this useful?
> I think this would be very useful indeed. For reproducible builds
> the version number is not an issue, because the version of the
> build dependencies is part of the metric. When build dependencies
> change version, things are allowed to be different.

Cool:) I'll look into implementing it, around this weekend.

More information about the Pkg-pascal-devel mailing list