Re: Stepping back from the Debian XML/SGML team, effectively orphaning all my packages (docbook*, xml-core, xmlto, etc. pp)

2015-07-24 Thread Kristoffer Rose
Yes, that would be great! --Kris
On Jul 24, 2015 5:35 PM, Daniel Leidert daniel.leidert.s...@gmx.net
wrote:

 Hi Kris,

 Am Samstag, den 30.05.2015, 22:08 -0400 schrieb Kristoffer Rose:
  I have XML expertise, I am a DD, and I maintain nothing for now (only
  have a few ITPs out).
 
  Any chance you would be at DebCamp and could do a two day intense
  catchup on the involved work?

 I'll be at DebConf. Maybe we can meet there?

 Regards, Daniel



Re: [Debconf-announce] DebConf15: Call for keys for keysigning in Heidelberg, Germany

2015-07-21 Thread Kristoffer Rose
Dear Aníbal,

For those of us attending DebCamp, do you know if it will be possible to
print the necessary lists there after August 10th?

Cheers,
  Kris


On Tue, Jul 21, 2015 at 6:13 AM, Aníbal Monsalve Salazar ani...@debian.org
wrote:

 DebConf15: Call for keys for keysigning in Heidelberg, Germany

 As part of the 16th Debian Conference in Heidelberg, Germany there will
 be OpenPGP (pgp/gpg) keysignings. If you intend to participate in
 the DebConf15 keysignings, please send your ascii armored public key as
 explained at [0] no later than 23:59 UTC/GMT/Zulu on Sunday 9th of
 August, 2015. I'll start processing keys after a day or two.

 More (and up-to-date) information is available at [0], so keep watching
 it.

 [0] http://people.debian.org/~anibal/ksp-dc15/ksp-dc15.html

 If you have questions please send them to the mailing list at
 debconf-disc...@lists.debconf.org.  If you don't want to post to the
 mailing list, send your questions to ani...@debian.org and
 d...@debian.org.

 ___
 Debconf-announce mailing list
 debconf-annou...@lists.debconf.org
 http://lists.debconf.org/mailman/listinfo/debconf-announce




-- 
Kristoffer H. Rose, Ph.D. http://kristofferrose.com


Re: Stepping back from the Debian XML/SGML team, effectively orphaning all my packages (docbook*, xml-core, xmlto, etc. pp)

2015-05-30 Thread Kristoffer Rose
Dear Daniel and Osamu,

I have XML expertise, I am a DD, and I maintain nothing for now (only have
a few ITPs out).

Any chance you would be at DebCamp and could do a two day intense catchup
on the involved work?

Best,
  Kris krisr...@debian.org


On Sat, May 30, 2015 at 10:28 AM, Osamu Aoki os...@debian.org wrote:

 Hi Daniel,

 Thanks a lot for maintaining these in good shape.

 On Thu, May 28, 2015 at 11:24:17PM +0200, Daniel Leidert wrote:
  x-post
 
  Hi everybody,
 
  I was part of the Debian XML/SGML team [1] for quite some time and it
  was fun maintaining the whole DocBook toolchain. Unfortunately I'm not
  using it anymore and thus have lost interest in these packages. Now
  after Jessie has been released, I'm finally stepping back as maintainer
  and as a group member of the team.
 
  This means, that all docbook*, sgml*, xml* packages are effectively
  _orphaned_, because there isn't any other active member in this group
  anymore (with the exception of the libxml2 maintainers and probably a
  few other packages).

 Actually, I see very few DDs working on document processing tool chain
 including tex.

  The good news is, most of the packages really don't require much
  attention. There are packages, which have not been touched since Wheezy!
  The exceptions probably are:

 Very true.

  I hope, fresh blood will revive the team and lead to fresh ideas for the
  policy, the catalog system and the whole XML/SGML core of Debian.

 I hope so too.  (I am maintaining debiandoc-sgml ...)

 Osamu



 --
 To UNSUBSCRIBE, email to debian-sgml-requ...@lists.debian.org
 with a subject of unsubscribe. Trouble? Contact
 listmas...@lists.debian.org
 Archive: https://lists.debian.org/20150530142849.GA25219@goofy.local




-- 
Kristoffer H. Rose, Ph.D. http://kristofferrose.com


Bug#759570: ITP: crsx-java -- Higher Order Rewriting Engine with Extensions for Compiler Generation

2014-08-28 Thread Kristoffer Rose
Package: wnpp
Severity: wishlist
Owner: Kristoffer Rose krisr...@debian.org

* Package name: crsx-java
  Version : 3.1.0.1
  Upstream Author : Kristoffer Rose krisr...@crsx.org
* URL : http://crsx.org/
* License : EPL-1.0
  Programming Lang: Java, C
  Description : Higher Order Rewriting Engine with Extensions for Compiler 
Generation

The purpose of CRSX is to implement an extended higher-order rewriting 
formalism to facilitate writing compilers
and other syntax-directed transformation systems, specifically:

* Special notations for using embedded syntax, even higher order abstract 
syntax.
* Special support for symbol tables, environments, and attributes, as used in 
compilers.
* A polymorphic sort system (which in practice means that CRSX systems are 
contraction schemes).
* CRSX systems can be compiled directly to native code (so far in C or Java 
(experimental)) for effective execution.

The system is used in IBM for production use and is the basis for the HACS 
compiler generator
used for teaching compilers at NYU by the author.


-- 
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: 
https://lists.debian.org/20140828034654.7850.94605.report...@krisx1.krisrose.net



Bug#759571: ITP: hacs -- Pedagogic Compiler Generator

2014-08-28 Thread Kristoffer Rose
Package: wnpp
Severity: wishlist
Owner: Kristoffer Rose krisr...@debian.org

* Package name: hacs
  Version : 0.9
  Upstream Author : Kristoffer Rose krisr...@crsx.org
* URL : http://crsx.org/
* License : EPL-1.0
  Programming Lang: Java, C
  Description : Pedagogic Compiler Generator

High-Level Compiler Generator based on the
Higher-order Attribute Contraction Schemes
formalism based on the CRSX rewrite engine
combined with other tools.


-- 
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Archive: 
https://lists.debian.org/20140828042311.8783.22821.report...@krisx1.krisrose.net



Accepted flexml 1-6 (i386 source)

2003-02-11 Thread Kristoffer Rose
-BEGIN PGP SIGNED MESSAGE-

Format: 1.7
Date: Tue, 11 Feb 2003 14:11:19 -0500
Source: flexml
Binary: flexml
Architecture: source i386
Version: 1-6
Distribution: unstable
Urgency: low
Maintainer: Kristoffer H. Rose [EMAIL PROTECTED]
Changed-By: Kristoffer Rose [EMAIL PROTECTED]
Description: 
 flexml - Generate fast validating XML processors and applications.
Changes: 
 flexml (1-6) unstable; urgency=low
 .
   * Debian package synchronized with flexml.sourceforge.net.
   * Source dependencies added [thanks to ].
Files: 
 ac85bf141be8fa4fe4a667f544f650cb 636 devel optional flexml_1-6.dsc
 7bd09816fe12414dec912f39e0826cd8 79149 devel optional flexml_1-6.tar.gz
 5a0902739e16b4359d645a8311e03c9e 57514 devel optional flexml_1-6_i386.deb

-BEGIN PGP SIGNATURE-
Version: 2.6.3ia
Charset: latin1

iQCVAwUBPknLuhcR6CQIaDBBAQFoKAQApxz6odVx22q6QvGcLBR2opVbrLA+np+z
9jfmSBiv1ckTnQCzs/1iEHGiA9fuM4IAwL3r/0utEna17v/8KBum+VucGs1s4EAv
n7BXkmWe61ezULOyPelIE0aeDA9Tsujw+lwc3PYAhcw1s/Q56khXKss7YlX1VpQn
uj5t9Xu/Bto=
=jstW
-END PGP SIGNATURE-


Accepted:
flexml_1-6.dsc
  to pool/main/f/flexml/flexml_1-6.dsc
flexml_1-6.tar.gz
  to pool/main/f/flexml/flexml_1-6.tar.gz
flexml_1-6_i386.deb
  to pool/main/f/flexml/flexml_1-6_i386.deb


-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]




[PROPOSAL] update-binfmts - manages the binfmt_misc kernel module

2000-04-03 Thread Kristoffer . Rose
Dear Colin,

I have some comments on your `update-binfmts' proposal.

1. I like it :)

2. It should be a separate package because we don't want any way that the
   standard dpkg package depends on a kernel option that may be compiled
   out of a custom kernel.

   It could be named binfmt-support and modeled after the mime-support
   package that it resembles a lot.

3. In fact your proposal suggests a more general useful extension:
   integration of the kernel options in the package system!

   One could imagine a (virtual?) package for each module in the kernel
   that would be seen as installed or uninstalled depending on whether a
   certain option is compiled into the kernel.  This way packages could
   depend on kernel modules being installed in a way that would interact
   well with recompilation of kernels and even permit effective selection
   of just the needed modules for a given installation.

   But then again this may be overloading the package system since there
   are quite a few kernel modules...

Best regards,
Kristoffer
-- 
Kristoffer Høgsbro Rose, phd, prof.associé  http://www.ens-lyon.fr/~krisrose
addr. LIP, Ecole Normale Supérieure de Lyon, 46 Allée d'Italie, F-69364 Lyon 7
phone +33(0)4 7272 8642, fax +33(0)4 7272 8080   [EMAIL PROTECTED]
pgp f-p: A4D3 5BD7 3EC5 7CA2 924E D21D 126B B8E0   [EMAIL PROTECTED],tug}.org



ITP: javawrapper

2000-03-20 Thread Kristoffer . Rose
Dear Colin,

 I intend to package javawrapper.
 
 Package: javawrapper
 Version: 1.0-1
 Section: utils
 Priority: optional
 Description: A wrapper for kernel execution of Java programs
  javawrapper uses the binfmt_misc feature of newer Linux kernels to execute a
  Java class file directly simply by supplying its filename on the command
  line like a normal executable. It also correctly handles classes contained
  in packages.
 
 I'm also the upstream maintainer for this package, and the source is
 already being distributed in the kernel documentation tree.
 
 I'm not yet a developer, so I'm looking for a sponsor - please mail me
 if you want to help!

I will be happy to sponsor javawrapper that I have used and installed
locally.

The challenge, as I see it, is to write an /etc/init.d/javawrapper script
that ensures that binfmt_misc is installed and registers/unregisters
javawrapper with the kernel.

Sincerely,
Kristoffer
-- 
Kristoffer Høgsbro Rose, phd, prof.associé  http://www.ens-lyon.fr/~krisrose
addr. LIP, Ecole Normale Supérieure de Lyon, 46 Allée d'Italie, F-69364 Lyon 7
phone +33(0)4 7272 8642, fax +33(0)4 7272 8080   [EMAIL PROTECTED]
pgp f-p: A4D3 5BD7 3EC5 7CA2 924E D21D 126B B8E0   [EMAIL PROTECTED],tug}.org