Permalink
Commits on Jan 29, 2014
  1. Merge pull request #1144 from AltGr/release-1.1.1

    Updates CHANGES and generated doc for release
    AltGr committed Jan 29, 2014
  2. Updated generated doc

    AltGr committed Jan 29, 2014
  3. Update CHANGES

    AltGr committed Jan 29, 2014
Commits on Jan 23, 2014
  1. Merge pull request #1120 from AltGr/patch-level-try-again-1.1

    Attempt `-p` parameters to the `patch` command until 5 Fixes #113
    AltGr committed Jan 23, 2014
Commits on Jan 22, 2014
Commits on Jan 17, 2014
  1. Merge pull request #1103 from AltGr/cudf-san-1.1.1

    Added patch to sanitize external solver criteria.
    AltGr committed Jan 17, 2014
Commits on Jan 16, 2014
  1. Merge pull request #1101 from AltGr/last-fixes-for-1.1.1

    Fixes the wrong update messages bug
    AltGr committed Jan 16, 2014
  2. Using checksums from url files to detect upstream changes

    Should avoid unneeded recompilations when the file changed
    AltGr committed Jan 16, 2014
  3. Fixed the random update messages bug

    Just two operations that were done in the wrong order, hmpf.
    Closes #1030 (hopefully)
    AltGr committed Jan 16, 2014
  4. Merge pull request #1098 from AltGr/dose-osx-compat-1.1

    Cherry-picking compat patches from master
    AltGr committed Jan 16, 2014
  5. Merge pull request #1093 from AltGr/revert-mirrors

    Url mirrors will be for after 1.1.1
    AltGr committed Jan 16, 2014
Commits on Jan 15, 2014
  1. Revert "Merge pull request #1089 from AltGr/allow-url-mirrors"

    This reverts commit fe48dea, reversing
    changes made to 42dbc30.
    
    Also removes the corresponding line from CHANGES
    AltGr committed Jan 15, 2014
Commits on Jan 14, 2014
  1. Merge pull request #1092 from AltGr/prepare-1.1.1

    CHANGES, copyright year and generated files updates
    AltGr committed Jan 14, 2014
  2. Update generated files for 1.1.1

    AltGr committed Jan 14, 2014
  3. Update CHANGES

    AltGr committed Jan 14, 2014
  4. Merge pull request #1089 from AltGr/allow-url-mirrors

    Handling lists of mirrors in url files
    AltGr committed Jan 14, 2014
  5. Updated dev-manual for 'url'

    AltGr committed Jan 14, 2014
  6. Handling lists of urls to be able to specify mirrors

    in case the main upstream is down. Fixes #807
    AltGr committed Jan 14, 2014
  7. Merge pull request #1087 from AltGr/update-dev-manual

    dev-manual: Documenting 'depexts' and a few fixes
    AltGr committed Jan 14, 2014
  8. rebuild dev-manual pdf

    AltGr committed Jan 14, 2014
  9. Document 'depexts' in the dev-manual

    Now that it is a bit more stable. Closes #991
    AltGr committed Jan 14, 2014
Commits on Jan 13, 2014
  1. Merge pull request #1085 from AltGr/clean-ocaml-build

    Cleanup build dir after successful switch
    samoht committed Jan 13, 2014
  2. Cleanup build dir after successful switch

    Fixes #1006
    AltGr committed Jan 13, 2014
  3. Merge pull request #1084 from AltGr/CONTRIBUTING-reports

    update CONTRIBUTING to ask for `opam config report`
    AltGr committed Jan 13, 2014
  4. Merge pull request #1083 from AltGr/no-dev-upgrade

    Do not reinstall dev packages on upgrade when package names are specified
    AltGr committed Jan 13, 2014
  5. Do not reinstall dev packages on upgrade when package names are speci…

    …fied
    
    Fixes #1001. Thanks for reporting !
    AltGr committed Jan 13, 2014
  6. Merge pull request #1081 from AltGr/fix-init-rm-rf

    Confirm init in a non-empty, non-opam dir
    AltGr committed Jan 13, 2014
  7. Confirm init in a non-empty, non-opam dir

    and don't delete the directory on abort or error after confirmation
    
    Fixes #974, thanks for reporting
    AltGr committed Jan 13, 2014
  8. Updated CHANGES

    AltGr committed Jan 13, 2014