new version of hol-light

To: debian-ocaml-maint@lists.debian.org
Subject: new version of hol-light
From: Hendrik Tews <hendrik@askra.de>
Date: Mon, 11 Jun 2012 22:47:46 +0200
Message-id: <[🔎] 20438.22898.957371.138101@wallace.tews.net>

Hi,

I just updated the hol-light package. The repository is now
without .pc directory and with patches not applied.

Bye,

Hendrik

Reply to:

Prev by Date: Bug#676994: tuareg-mode: missing tuareg-before-change-function
Next by Date: Bug#673835: liblablgtksourceview2-ocaml: Could debian package provides upstream unreleased META file instead of wrong ad hoc one ?
Previous by thread: Re: help with packaging deps
Next by thread: Processing of hol-light_20120602-1_amd64.changes
Index(es):
- Date
- Thread