July 2016 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Wed Jul 6 09:29:14 BST 2016
Ending: Fri Jul 22 15:37:37 BST 2016
Messages: 11

• [opam-devel] deprecating opam 1.2.0   Thomas Gazagnaire
  • [opam-devel] deprecating opam 1.2.0   Fabrice Le Fessant
    • [opam-devel] deprecating opam 1.2.0   Louis Gesbert
      • [opam-devel] deprecating opam 1.2.0   Fabrice Le Fessant
  • [opam-devel] deprecating opam 1.2.0   Sylvain Le Gall
    • [opam-devel] deprecating opam 1.2.0   Anil Madhavapeddy
      • [opam-devel] deprecating opam 1.2.0   Anil Madhavapeddy
• [opam-devel] switch CI to use Trusty   Thomas Gazagnaire
• [opam-devel] opam 2.0~alpha2 -- an update on opam's current dev status   Louis Gesbert
  • [opam-devel] opam 2.0~alpha2 -- an update on opam's current dev status   Louis Gesbert
    • [opam-devel] opam 2.0~alpha2 -- an update on opam's current dev status   Louis Gesbert

Last message date: Fri Jul 22 15:37:37 BST 2016
Archived on: Fri Jul 22 15:09:06 BST 2016

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...