setting package to aptitude, reassign 517107 to coq

To: control@bugs.debian.org
Cc: coq@packages.debian.org
Subject: setting package to aptitude, reassign 517107 to coq
From: Daniel Burrows <dburrows@debian.org>
Date: Wed, 25 Feb 2009 19:34:11 -0800
Message-id: <[🔎] 1235619251-4017-bts-dburrows@debian.org>

package aptitude
reassign 517107 coq

Reply to:

Follow-Ups:
- Processed: setting package to aptitude, reassign 517107 to coq
  - From: owner@bugs.debian.org (Debian Bug Tracking System)

Prev by Date: Bug#517107: aptitude installed coq with unmet dependencies
Next by Date: Bug#517107: aptitude installed coq with unmet dependencies
Previous by thread: Bug#517107: aptitude installed coq with unmet dependencies
Next by thread: Processed: setting package to aptitude, reassign 517107 to coq
Index(es):
- Date
- Thread