Commits

Breadcrumbs

History for

onee5e39a

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 15, 2016

• dev-ml/extlib: bump to 1.7.1

  aballier

  committed
  aa84b8d
  More actions

Commits on Jun 29, 2016

• dev-ml/extlib: Drop non-camlp4 support, #586910

  mgorny

  committed
  6e9d123
  More actions

Commits on Jun 23, 2016

• Revert "dev-ml/*: Remove := slot ops from || deps, #586304"

  aballier

  committed
  a254987
  More actions

Commits on Jun 21, 2016

• dev-ml/*: Remove := slot ops from || deps, #586304

  mgorny

  committed
  2d4ac68
  More actions

Commits on Jan 24, 2016

• Set appropriate maintainer types in metadata.xml (GLEP 67)

  mgorny

  committed
  8849b09
  More actions

• Replace all herds with appropriate projects (GLEP 67)

  mgorny

  committed
  cfd93d7
  More actions

Commits on Sep 19, 2015

• dev-ml/extlib: Fix deps. Upstream switched from camlp4 to cppo.

  aballier

  committed
  8dc4f8e
  More actions

Commits on Sep 16, 2015

• Add remote-id

  jlec

  committed
  d46f93f
  More actions

Commits on Sep 14, 2015

• dev-ml/extlib: bump to 1.7.0 and switch to github.

  aballier

  committed
  ed7d355
  More actions

Commits on Aug 24, 2015

• Revert DOCTYPE SYSTEM https changes in metadata.xml

  floppym

  committed
  1bfb585
  More actions

• Convert URIs for googlecode.com to https

  jlec

  committed
  dea7c30
  More actions

• Enable https for all google URIs

  jlec

  committed
  769c75f
  More actions

• Use https by default

  jlec

  committed
  eaaface
  More actions

Commits on Aug 9, 2015

• proj/gentoo: Initial commit

  robbat2

  committed
  56bd759
  More actions

Loading