[Top] [All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: opam-repo-dev now less useful

To: Richard Mortier <Richard.Mortier@xxxxxxxxxxxxxxxx>
From: Thomas Gazagnaire <thomas.gazagnaire@xxxxxxxxx>
Date: Mon, 11 Feb 2013 10:57:24 +0100
Cc: David Scott <scott.dj@xxxxxxxxx>, cl-mirage List <cl-mirage@xxxxxxxxxxxxxxx>, Anil Madhavapeddy <anil@xxxxxxxxxx>
List-id: MirageOS development <cl-mirage.lists.cam.ac.uk>

> would the dev version mean something like HEAD? or would dev also be a 
> specific version?

yup, dev=HEAD

Follow-Ups:
- Re: opam-repo-dev now less useful
  - From: Richard Mortier

References:
- opam-repo-dev now less useful
  - From: Anil Madhavapeddy
- Re: opam-repo-dev now less useful
  - From: David Scott
- Re: opam-repo-dev now less useful
  - From: Anil Madhavapeddy
- Re: opam-repo-dev now less useful
  - From: Thomas Gazagnaire
- Re: opam-repo-dev now less useful
  - From: Richard Mortier

Prev by Date: Re: opam-repo-dev now less useful
Next by Date: Re: opam-repo-dev now less useful
Previous by thread: Re: opam-repo-dev now less useful
Next by thread: Re: opam-repo-dev now less useful
Index(es):
- Date
- Thread

Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.