Debian Bug report logs - #717760
ITP: janest-core-kernel -- System independent part of Jane Street's standard library for OCaml

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

Reported by: Lifeng Sun <lifongsun@gmail.com>

Date: Wed, 24 Jul 2013 16:27:01 UTC

Owned by: Lifeng Sun <lifongsun@gmail.com>

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, debian-ocaml-maint@lists.debian.org, wnpp@debian.org:
Bug#717760; Package wnpp. (Wed, 24 Jul 2013 16:27:06 GMT) Full text and rfc822 format available.

Acknowledgement sent to Lifeng Sun <lifongsun@gmail.com>:
New Bug report received and forwarded. Copy sent to debian-ocaml-maint@lists.debian.org, wnpp@debian.org. (Wed, 24 Jul 2013 16:27:06 GMT) Full text and rfc822 format available.

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

From: Lifeng Sun <lifongsun@gmail.com>
To: submit@bugs.debian.org
Subject: ITP: janest-core-kernel -- System independent part of Jane Street's standard library for OCaml
Date: Thu, 25 Jul 2013 00:23:03 +0800
[Message part 1 (text/plain, inline)]
Subject: ITP: janest-core-kernel -- System independent part of Jane Street's standard library for OCaml
Package: wnpp
Owner: Lifeng Sun <lifongsun@gmail.com>
Severity: wishlist
X-Debbugs-CC: debian-ocaml-maint@lists.debian.org

* Package name    : janest-core-kernel
  Version         : 109.35.00
  Upstream Author : Jane Street Capital LLC <opensource@janestreet.com>
* URL             : https://github.com/janestreet/core_kernel
* License         : Apache-2.0
  Programming Lang: OCaml
  Description     : System independent part of Jane Street's standard library for OCaml

janest-core-kernel is the system-independent part of janest-core. It
is aimed for cases when the full janest-core is not available, such as
in Javascript.

-- 
[signature.asc (application/pgp-signature, inline)]

Send a report that this bug log contains spam.


Debian bug tracking system administrator <owner@bugs.debian.org>. Last modified: Thu Apr 24 21:38:03 2014; Machine Name: buxtehude.debian.org

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