[notes] 01/02: open-axiom RM

[Chris Lamb]

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

lamby pushed a commit to branch master
in repository notes.

commit d3f2eff0edd18787886ef1b54c1e517fd4f4a7c5
Author: Chris Lamb <lamby at debian.org>
Date:   Sat Feb 24 22:07:57 2018 +0000

    open-axiom RM
---
 packages.yml | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/packages.yml b/packages.yml
index ca1af66..230390a 100644
--- a/packages.yml
+++ b/packages.yml
@@ -16702,10 +16702,6 @@ opam:
   issues:
     - timestamps_in_pdf_generated_by_latex
     - fonts_in_pdf_files
-open-axiom:
-  version: 1.5.0~svn3056+ds-1
-  bugs:
-    - 778041
 open-build-service:
   version: 2.7.1-1
   comments: |

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