Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add Arb and Flint packages #232

Merged
merged 5 commits into from
Apr 23, 2014
Merged

Add Arb and Flint packages #232

merged 5 commits into from
Apr 23, 2014

Commits on Apr 23, 2014

  1. Add Arb library

    @certik
    certik committed Apr 23, 2014
    Configuration menu
    Copy the full SHA
    a930dd2 View commit details
    Browse the repository at this point in the history

  2. Add the flint package

    @certik
    certik committed Apr 23, 2014
    Configuration menu
    Copy the full SHA
    34c16cb View commit details
    Browse the repository at this point in the history

  3. Add Flint as a dependency to Arb

    @certik
    certik committed Apr 23, 2014
    Configuration menu
    Copy the full SHA
    a3b6759 View commit details
    Browse the repository at this point in the history

  4. Arb: fix the rpaths in the .so library

    @certik
    certik committed Apr 23, 2014
    Configuration menu
    Copy the full SHA
    d7a2eac View commit details
    Browse the repository at this point in the history

  5. Flint: fix the rpaths in the .so library

    @certik
    certik committed Apr 23, 2014
    Configuration menu
    Copy the full SHA
    51b66a8 View commit details
    Browse the repository at this point in the history