[gappalib-coq/f18] (3 commits) ...More changes necessary to work with coq 8.4.

Jerry James jjames at fedoraproject.org
Fri Aug 24 15:20:07 UTC 2012

Previous message: [sssd] rhbz#851304: Change the default ccache location to DIR:/run/user/1001/krb5cc
Next message: [supertuxkart] Post cleanup.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Summary of changes:

  428086e... Rebuild for coq 8.4. (*)
  7ad8a7e... Adapt to change of nf_evars in coq 8.4. (*)
  7de4234... More changes necessary to work with coq 8.4. (*)

(*) This commit already existed in another branch; no separate mail sent

Previous message: [sssd] rhbz#851304: Change the default ccache location to DIR:/run/user/1001/krb5cc
Next message: [supertuxkart] Post cleanup.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the scm-commits mailing list