Bug#436684: setting package to coq-libs coqide coq, tagging 436684

To: control@bugs.debian.org
Cc: 436684@bugs.debian.org
Subject: Bug#436684: setting package to coq-libs coqide coq, tagging 436684
From: Stephane Glondu <steph@glondu.net>
Date: Mon, 08 Sep 2008 00:29:20 +0200
Message-id: <1220826560-1665-bts-steph@glondu.net>
Reply-to: Stephane Glondu <steph@glondu.net>, 436684@bugs.debian.org

# Automatically generated email from bts, devscripts version 2.10.35
# via tagpending 
#
# coq (8.2~beta4.svn20080907+dfsg-1) UNRELEASED; urgency=low
#
#  * [d8e4082] Use debhelper 7, simplify debian/rules (Closes: #436684) 

package coq-libs coqide coq
tags 436684 + pending

Reply to:

Follow-Ups:
- Processed: setting package to coq-libs coqide coq, tagging 436684
  - From: owner@bugs.debian.org (Debian Bug Tracking System)

Prev by Date: Re: Bug#498138: check for deprecated OCaml -custom linked executable
Next by Date: Processed: setting package to coq-libs coqide coq, tagging 436684
Previous by thread: Re: Bug#498138: check for deprecated OCaml -custom linked executable
Next by thread: Processed: setting package to coq-libs coqide coq, tagging 436684
Index(es):
- Date
- Thread