Debian Bug report logs - #408946
RFP: tex-ltlfonts -- mathematical symbols TeX font

Package: wnpp; Maintainer for wnpp is wnpp@debian.org;

Reported by: Nicolas Spalinger <nicolas_spalinger@sil.org>

Date: Mon, 29 Jan 2007 14:18:14 UTC

Severity: wishlist

Reply or subscribe to this bug.

Toggle useless messages

View this report as an mbox folder, status mbox, maintainer mbox


Report forwarded to debian-bugs-dist@lists.debian.org, <wnpp@debian.org>:
Bug#408946; Package wnpp. Full text and rfc822 format available.

Acknowledgement sent to Nicolas Spalinger <nicolas_spalinger@sil.org>:
New Bug report received and forwarded. Copy sent to <wnpp@debian.org>. Full text and rfc822 format available.

Message #5 received at submit@bugs.debian.org (full text, mbox):

From: Nicolas Spalinger <nicolas_spalinger@sil.org>
To: submit@bugs.debian.org
Cc: pkg-fonts-bugs@lists.alioth.debian.org
Subject: ITP: LTLfonts : mathematical symbols TeX font
Date: Mon, 29 Jan 2007 15:12:38 +0100
Package: wnpp
Severity: wishlist

* Package name    : tex-ltlfonts
  Version         : 0.1.2
  Upstream Author : Matteo Slanina
* URL             : http://theory.stanford.edu/~matteo/ltlfonts/
* License         : Open Font License
  Description     : mathematical symbols TeX font

LTLfonts is a Mathematical symbols font for typesetting formulas of
linear temporal logic (LTL) in the Manna/Pnueli notation.

It is distributed in outline Type 1 format, with associated TeX (TFM),
Adobe (AFM), and Microsoft (PFM) font metrics. It should be usable with
any modern LaTeX distribution and many other typesetting or word
processing software.

FontForge SFD source are provided.





Changed Bug title. Request was from Thomas Huriaux <thomas.huriaux@gmail.com> to control@bugs.debian.org. Full text and rfc822 format available.

Owner recorded as Nicolas Spalinger <nicolas_spalinger@sil.org>. Request was from Thomas Huriaux <thomas.huriaux@gmail.com> to control@bugs.debian.org. Full text and rfc822 format available.

Information forwarded to debian-bugs-dist@lists.debian.org, <wnpp@debian.org>, Nicolas Spalinger <nicolas_spalinger@sil.org>:
Bug#408946; Package wnpp. Full text and rfc822 format available.

Acknowledgement sent to Norbert Preining <preining@logic.at>:
Extra info received and forwarded to list. Copy sent to <wnpp@debian.org>, Nicolas Spalinger <nicolas_spalinger@sil.org>. Full text and rfc822 format available.

Message #14 received at 408946@bugs.debian.org (full text, mbox):

From: Norbert Preining <preining@logic.at>
To: 408946@bugs.debian.org
Cc: debian-tex-maint@lists.debian.org
Subject: your ITP: tex-ltlfonts
Date: Tue, 15 Jan 2008 08:24:00 +0100
Hi Nicolas,

good idea to package these fonts. Could you also ask upstream to upload
the fonts to CTAN. If this happens we could include it into TeX Live
upstream and the next release of TeX Live for Debian would ship the
fonts, too, automatically.

Best wishes

Norbert

-------------------------------------------------------------------------------
Dr. Norbert Preining <preining@logic.at>        Vienna University of Technology
Debian Developer <preining@debian.org>                         Debian TeX Group
gpg DSA: 0x09C5B094      fp: 14DF 2E6C 0307 BE6D AD76  A9C0 D2BF 4AA3 09C5 B094
-------------------------------------------------------------------------------
ABERBEEG (vb.)
Of amateur actors, to adopt a Mexican accent when called upon to play
any variety of foreigner (except Pakistanis - from whom a Welsh accent
is considered sufficient).
			--- Douglas Adams, The Meaning of Liff




Information forwarded to debian-bugs-dist@lists.debian.org, <wnpp@debian.org>, Nicolas Spalinger <nicolas_spalinger@sil.org>:
Bug#408946; Package wnpp. (Sat, 25 Apr 2009 03:48:06 GMT) Full text and rfc822 format available.

Acknowledgement sent to Rogerio Brito <rbrito@ime.usp.br>:
Extra info received and forwarded to list. Copy sent to <wnpp@debian.org>, Nicolas Spalinger <nicolas_spalinger@sil.org>. (Sat, 25 Apr 2009 03:48:06 GMT) Full text and rfc822 format available.

Message #19 received at 408946@bugs.debian.org (full text, mbox):

From: Rogerio Brito <rbrito@ime.usp.br>
To: 408946@bugs.debian.org
Subject: Any updates on this bug?
Date: Fri, 24 Apr 2009 23:56:11 -0300
Hi there.

Is there any progress on this? Any updates?


Thanks for any information, Rogério Brito.

-- 
Rogério Brito : rbrito@{mackenzie,ime.usp}.br : GPG key 1024D/7C2CAEB8
http://www.ime.usp.br/~rbrito : http://meusite.mackenzie.com.br/rbrito
Projects: algorithms.berlios.de : lame.sf.net : vrms.alioth.debian.org




Information forwarded to debian-bugs-dist@lists.debian.org, wnpp@debian.org, Nicolas Spalinger <nicolas_spalinger@sil.org>:
Bug#408946; Package wnpp. (Tue, 25 May 2010 17:22:05 GMT) Full text and rfc822 format available.

Acknowledgement sent to Lucas Nussbaum <lucas@debian.org>:
Extra info received and forwarded to list. Copy sent to wnpp@debian.org, Nicolas Spalinger <nicolas_spalinger@sil.org>. (Tue, 25 May 2010 17:22:05 GMT) Full text and rfc822 format available.

Message #24 received at 408946@bugs.debian.org (full text, mbox):

From: Lucas Nussbaum <lucas@debian.org>
To: 408946@bugs.debian.org
Cc: control@bugs.debian.org
Subject: tex-ltlfonts: changing back from ITP to RFP
Date: Tue, 25 May 2010 17:06:07 +0000
retitle 408946 RFP: tex-ltlfonts -- mathematical symbols TeX font
noowner 408946
thanks

Hi,

This is an automatic email to change the status of tex-ltlfonts back from ITP
(Intent to Package) to RFP (Request for Package), because this bug hasn't seen
any activity during the last 12 months.

If you are still interested in adopting tex-ltlfonts, please send a mail to
<control@bugs.debian.org> with:

 retitle 408946 ITP: tex-ltlfonts -- mathematical symbols TeX font
 owner 408946 !
 thanks

However, it is not recommended to keep ITP for a long time without acting on
the package, as it might cause other prospective maintainers to refrain from
packaging that software. It is also a good idea to document your progress on
this ITP from time to time, by mailing <408946@bugs.debian.org>.

Thank you for your interest in Debian,
-- 
Lucas, for the QA team <debian-qa@lists.debian.org>




Changed Bug title to 'RFP: tex-ltlfonts -- mathematical symbols TeX font' from 'ITP: tex-ltlfonts -- mathematical symbols TeX font' Request was from Lucas Nussbaum <lucas@debian.org> to control@bugs.debian.org. (Tue, 25 May 2010 17:26:44 GMT) Full text and rfc822 format available.

Removed annotation that Bug was owned by Nicolas Spalinger <nicolas_spalinger@sil.org>. Request was from Lucas Nussbaum <lucas@debian.org> to control@bugs.debian.org. (Tue, 25 May 2010 17:26:45 GMT) Full text and rfc822 format available.

Send a report that this bug log contains spam.


Debian bug tracking system administrator <owner@bugs.debian.org>. Last modified: Sun Apr 20 12:02:35 2014; Machine Name: beach.debian.org

Debian Bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.