[notes] 03/03: --fix-deterministic

Mattia Rizzolo mattia at debian.org
Mon Jan 22 00:02:01 UTC 2018


This is an automated email from the git hooks/post-receive script.

mattia pushed a commit to branch master
in repository notes.

commit 36446678d6f35a621e107fe30f58e47c21ea2a56
Author: automatic commit from Mattia Rizzolo <mattia at debian.org>
Date:   Mon Jan 22 00:01:37 2018 +0000

    --fix-deterministic
---
 packages.yml | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/packages.yml b/packages.yml
index 0fb9d35..741bbec 100644
--- a/packages.yml
+++ b/packages.yml
@@ -14214,10 +14214,6 @@ mcrl2:
   comments: |
     Embeds the build date into manpages.
     https://sources.debian.net/src/mcrl2/201409.0-1/libraries/utilities/source/command_line_interface.cpp/#L547-L550
-mdds:
-  version: 1.2.1-1
-  issues:
-    - captures_build_path
 mdocml:
   version: 1.13.3-3
   issues:

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/reproducible/notes.git



More information about the Reproducible-commits mailing list