[Gcl-devel] Re: moving ACL2 files

[Matt Kaufmann]

Hi, Alan --

Excellent -- yes, I think that's the file.  Thanks!

(I'm CCing address@hidden at Camm's suggestion, so that he'll see
it during the week and avoid looking for that file based on my
previous message.)

-- Matt
   DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
           d=gmail.com; s=gamma;
           h=domainkey-signature:mime-version:received:in-reply-to:references
            :date:message-id:subject:from:to:cc:content-type;
           bh=vhVZ+b14poXHywAI4+HSQ0ZSjX2vP3sgT3f1QwmqHPc=;
           b=a4Tnq5Wy95HkzOlBlxA0ltJRmCZJJEWVt5+KhceBTlXxNL2bpvxnHn+FroWv5gqZGP
            1xDQpT9/okZSNk1bMmyDxWV8eEDFkvLgUHeYuiM++DM1myWjZRKQyEoghArMywJMI/MF
            fzjEU5WXjfXQkmc5ziP9GKadfb/NlR2kDylfE=
   DomainKey-Signature: a=rsa-sha1; c=nofws;
           d=gmail.com; s=gamma;
           h=mime-version:in-reply-to:references:date:message-id:subject:from:to
            :cc:content-type;
           b=H1Egyb9gz6ZQAD7gDYzWtPWXeyrbQLR+ViOGaAX4TbHbs1XmYCd5YSdM/OMlOSzPfN
            93vmlZIaWltwXnEOrHdjehdhOuPVWZ+0WjOmUZKzDQZfjtRPhNsFdGD7lsV3b+VG/+yg
            A9cICWUkKBNfWiEoj9qUdDPESYacEP4/cmilk=
   Date: Mon, 8 Jun 2009 09:19:21 -0400
   From: Alan Dunn <address@hidden>
   Cc: address@hidden

   --0016e64618181c0305046bd61735
   Content-Type: text/plain; charset=ISO-8859-1
   Content-Transfer-Encoding: 7bit
   X-Former-Content-Transfer-Encoding: quoted-printable

   Correct me if I'm wrong, but I think that's in the file
   README.Debian.gz in /usr/share/doc/acl2/ from the acl2 package. (Note
   that this is a generated file, so you can't just get the source of the
   package and have the list.)

   A copy is attached from the package from the stable repository (which
   is for ACL2 3.3)

   - Alan

   On Mon, Jun 8, 2009 at 8:59 AM, Matt Kaufmann<address@hidden>
   wrote: > Hi, Camm -- > > I seem to remember that several years ago,
   when you did the Debian > package for ACL2, we developed a sort of
   "key" that showed the > correspondence between native locations of
   ACL2 files and where they > reside in the Debian release.  Do you
   still have that key?  I did a > quick look and didn't find it, but I
   can look harder if it's not handy > for you -- if you'll just let me
   know in that case, I'd appreciate it.  > > Thanks -- > -- Matt >

   --0016e64618181c0305046bd61735
   Content-Type: text/plain; charset=us-ascii
   X-Former-Content-Type: application/x-gzip; name="README.Debian.gz"
   Content-Disposition: attachment; filename="README.Debian.gz"
   Content-Transfer-Encoding: 7bit
   X-Former-Content-Transfer-Encoding: base64
   X-Attachment-Id: f_fvp7jqme0

   [file:/u/kaufmann/detached/README.Debian.gz]
   --0016e64618181c0305046bd61735--