Processed: tagging 439570

To: Lucas Nussbaum <lucas@lucas-nussbaum.net>
Cc: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> (coq #439570)
Subject: Processed: tagging 439570
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Fri, 25 Jan 2008 17:03:14 +0000
Message-id: <[🔎] handler.s.C.120128049413828.transcript@bugs.debian.org>
In-reply-to: <1201279393-1701-bts-lucas@lucas-nussbaum.net>
References: <1201279393-1701-bts-lucas@lucas-nussbaum.net>

Processing commands for control@bugs.debian.org:

> # Automatically generated email from bts, devscripts version 2.10.11
> tags 439570 + sid lenny
Bug#439570: coq-float - FTBFS: /bin/sh: /usr/bin/coq_makefile: /usr/bin/ocamlrun: bad interpreter: No such file or directory
There were no tags set.
Tags added: sid, lenny

>
End of message, stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)

Reply to:

Prev by Date: tuareg-mode 1:1.45.6-1 MIGRATED to testing
Next by Date: Processed: tagging 451901
Previous by thread: tuareg-mode 1:1.45.6-1 MIGRATED to testing
Next by thread: Bug#451901: tagging 451901
Index(es):
- Date
- Thread