[Pkg-pascal-devel] pasdoc and timestamps

[Michalis Kamburelis]

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.
Michalis