Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Commits on Mar 2, 2015
  1. Thomas Gazagnaire

    Merge pull request #3622 from samoht/opam-publish/mirage-flow.1.0.0

    samoht authored
    mirage-flow.1.0.0 - via opam-publish
Commits on Feb 26, 2015
  1. Thomas Gazagnaire

    Fix mirage-flow dependency

    samoht authored
  2. Thomas Gazagnaire
Commits on Feb 25, 2015
  1. Thomas Gazagnaire

    Merge pull request #3614 from chambart/build_with_trunk

    samoht authored
    Allow coq to build with trunk
Commits on Feb 16, 2015
  1. Thomas Gazagnaire

    Merge pull request #3564 from ivg/verbose-opam

    samoht authored
    made opam verbose
  2. Thomas Gazagnaire

    Merge pull request #3563 from ivg/master

    samoht authored
    BAP.0.9.3
Commits on Feb 11, 2015
  1. Thomas Gazagnaire

    Merge pull request #3552 from samoht/opam-publish/dumpast.0.2.0

    samoht authored
    dumpast.0.2.0 - via opam-publish
  2. Thomas Gazagnaire
  3. Thomas Gazagnaire
  4. Thomas Gazagnaire
Commits on Feb 10, 2015
  1. Thomas Gazagnaire

    Update ocaml constraints

    samoht authored
  2. Thomas Gazagnaire

    dog.0.1.0 - via opam-publish

    samoht authored
Commits on Feb 5, 2015
  1. Thomas Gazagnaire

    git.1.4.10 - via opam-publish

    samoht authored
Commits on Feb 4, 2015
  1. Thomas Gazagnaire

    irmin.0.9.3 - via opam-publish

    samoht authored
  2. Thomas Gazagnaire

    git.1.4.9 - via opam-publish

    samoht authored
  3. Thomas Gazagnaire
  4. Thomas Gazagnaire

    git.1.4.8 - via opam-publish

    samoht authored
Commits on Feb 3, 2015
  1. Thomas Gazagnaire

    git.1.4.7 - via opam-publish

    samoht authored
Commits on Feb 2, 2015
  1. Thomas Gazagnaire

    Merge pull request #3496 from dsheets/irmin-stringext

    samoht authored
    Irmin depends on stringext >= 1.1.0
Commits on Jan 29, 2015
  1. Thomas Gazagnaire
  2. Thomas Gazagnaire

    git.1.4.6 - via opam-publish

    samoht authored
Commits on Jan 24, 2015
  1. Thomas Gazagnaire

    Merge pull request #3451 from hannesm/otr

    samoht authored
      +otr
Commits on Jan 23, 2015
  1. Thomas Gazagnaire

    Merge pull request #3231 from chambart/build_with_trunk

    samoht authored
    Patches for allowing builds with trunk
Commits on Jan 21, 2015
  1. Thomas Gazagnaire

    Merge pull request #2923 from BYVoid/master

    samoht authored
    Batsh 0.0.6
  2. Thomas Gazagnaire

    Merge pull request #3417 from flixr/ivy.1.3.1

    samoht authored
    [packages] add ivy 1.3.1
  3. Thomas Gazagnaire

    Merge pull request #3432 from planar/liquidsoap-fix-dep

    samoht authored
    liquidsoap: optionally depends on inotify < 2.0
  4. Thomas Gazagnaire

    Merge pull request #2374 from mkur/master

    samoht authored
    Version update
  5. Thomas Gazagnaire

    Merge pull request #3425 from planar/vhd-tool-fix-install

    samoht authored
    vhd-tool: without this fix, it tries to install in /usr/lib/xapi
  6. Thomas Gazagnaire

    Merge pull request #3435 from dsheets/4.01.0+bin-ocp-syntax-fix

    samoht authored
    Fix incorrect syntax in 4.01.0+bin-ocp compiler causing opam HEAD to fail
  7. Thomas Gazagnaire

    Merge pull request #3419 from planar/tcpip-fix-dep

    samoht authored
    tcpip: older versions do not work with latest mirage-types
  8. Thomas Gazagnaire

    Merge pull request #3422 from planar/stone-fix-remove

    samoht authored
    stone.0.3.3: fix remove instructions
  9. Thomas Gazagnaire

    Merge pull request #3421 from planar/prob-cache-fix-dep

    samoht authored
    prob-cache: needs containers.0.7
  10. Thomas Gazagnaire

    Merge pull request #3374 from planar/why3-fix-deps

    samoht authored
    why3: all dependencies are in fact optional
  11. Thomas Gazagnaire

    Merge pull request #3427 from planar/mirage-fix-remove

    samoht authored
    mirage.1.0.0: fix remove instructions
  12. Thomas Gazagnaire

    Merge pull request #3431 from planar/msgpack-fix-conflict

    samoht authored
    msgpack: does not work with newer versions of meta_conv
Something went wrong with that request. Please try again.