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: 359ad7f6c0d5
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: 89278345c20c
Choose a head ref
  • 5 commits
  • 6 files changed
  • 2 contributors

Commits on Jan 14, 2017

  1. camlidl: fix build with OCaml 4.03 

     by making warning 31 non fatal
    @vbgl
    vbgl committed Jan 14, 2017
    Configuration menu
    Copy the full SHA
    0121066 View commit details
    Browse the repository at this point in the history

  2. ocamlPackages.mlgmpidl: init at 1.2.4 

    mlgmpidl is an OCaml interface to the GMP library.

Homepage: https://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlgmpidl/
    @vbgl
    vbgl committed Jan 14, 2017
    Configuration menu
    Copy the full SHA
    2f2fbc9 View commit details
    Browse the repository at this point in the history

  3. ocamlPackages.apron: init at 20160125 

    APRON is an OCaml library of numerical abstract domains

Homepage: http://apron.cri.ensmp.fr/library/
    @vbgl
    vbgl committed Jan 14, 2017
    Configuration menu
    Copy the full SHA
    67a5833 View commit details
    Browse the repository at this point in the history

  4. frama-c: link to the apron library

    @vbgl
    vbgl committed Jan 14, 2017
    Configuration menu
    Copy the full SHA
    939e2d7 View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2017

  1. Merge pull request #22023 from vbgl/apron 

    ocamlPackages.apron: init at 20160125
    @7c6f434c
    7c6f434c committed Jan 24, 2017
    Configuration menu
    Copy the full SHA
    8927834 View commit details
    Browse the repository at this point in the history