Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: NixOS/nixpkgs
base: 9b0505abb7e9
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: c0d1c416271b
Choose a head ref
  • 7 commits
  • 13 files changed
  • 2 contributors

Commits on Oct 8, 2018

  1. camlp5: remove old version 5.15

    @Zimmi48
    Zimmi48 committed Oct 8, 2018
    Configuration menu
    Copy the full SHA
    cf1f8b2 View commit details
    Browse the repository at this point in the history

  2. ocamlPackages_3_08_0: remove

    @Zimmi48
    Zimmi48 committed Oct 8, 2018
    Configuration menu
    Copy the full SHA
    3d683f3 View commit details
    Browse the repository at this point in the history

  3. ocamlPackages_3_10_0: remove

    @Zimmi48
    Zimmi48 committed Oct 8, 2018
    Configuration menu
    Copy the full SHA
    62cf284 View commit details
    Browse the repository at this point in the history

  4. ocamlPackages_3_11_2: remove 

    This requires removing also the Coq 8.3 and Matita 0.5.8 packages.

Coq 8.3 was released 8 years ago (2010) and there is no trace left
of users of this version (contrary to Coq 8.4, released 2012).
It is well over time to remove it.

Matita 0.5.8 was released in 2010 and because this version was still
used for teaching according to the official website, a legacy release
(0.5.9) was released in 5 years later to compile with more recent
OCaml libraries.
Updating to 0.5.9 (or a more recent version like 0.99.3) should allow
getting rid of the dependency on older OCaml but it is hard to test
given that the package is already broken before this update.
    @Zimmi48
    Zimmi48 committed Oct 8, 2018
    Configuration menu
    Copy the full SHA
    34394a3 View commit details
    Browse the repository at this point in the history

  5. ocamlPackages_3_12_1: remove

    @Zimmi48
    Zimmi48 committed Oct 8, 2018
    Configuration menu
    Copy the full SHA
    0f8ef66 View commit details
    Browse the repository at this point in the history

Commits on Oct 9, 2018

  1. matita: remove broken package 

    As requested by Vincent Laporte.
    @Zimmi48
    Zimmi48 committed Oct 9, 2018
    Configuration menu
    Copy the full SHA
    c76ffb9 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #48053 from Zimmi48/clean-up/ocaml 

    Remove old OCaml versions.
    @Mic92
    Mic92 committed Oct 9, 2018
    Configuration menu
    Copy the full SHA
    c0d1c41 View commit details
    Browse the repository at this point in the history