diff options
| author | Robin Gloster <mail@glob.in> | 2016-02-08 10:10:38 +0000 |
|---|---|---|
| committer | Robin Gloster <mail@glob.in> | 2016-02-08 10:10:38 +0000 |
| commit | 9afe794f5eac3830c7df932a739520f2d3ecc0bf (patch) | |
| tree | 1c1c6602676397fa3dec8597b591a288890140ec | |
| parent | e2f7744f80e444c3e7b8680854de31fdc5c81543 (diff) | |
coqPackages.contribs.Bertrand: fix hash
| -rw-r--r-- | pkgs/development/coq-modules/contribs/all.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/contribs/all.nix b/pkgs/development/coq-modules/contribs/all.nix index d01c32bdb0af4..d2ef82c558750 100644 --- a/pkgs/development/coq-modules/contribs/all.nix +++ b/pkgs/development/coq-modules/contribs/all.nix @@ -11,7 +11,7 @@ AreaMethod = "07d86p5xbnhbrily18hda0hymf3zx8yhw905plmrqyfbcc6x5531"; Automata = "0g75gjdj79ysiq1pwqk658jxs2z1l8pk702iz69008vkjzbzkhvm"; AxiomaticABP = "19x16dgsqyw2pflza8cgv29585a6yy3r8pz4z8ns3r7qhpp1449b"; BDDs = "0s5a67w9v1lklph8dm4d9bkd6f9qzfb377gvisr3hslacn9ya8zy"; -Bertrand = "1ih0zbk3phk0zwms0mwkcikmki25hgbp1l980gpydj5a0s9ildyg"; +Bertrand = "05i6xw9gi5ad78rsw5pfhiqllw9x4q4phfi4ddzlxpsgshiw7d0k"; Buchberger = "1v7zi62ar4inncbcphalsyaggx8im02j81b0fnpvx2x3kyv2pr94"; CCS = "1na7902k05z19a727wa7rz0dbf1fhcl53r4zxvcgvg5dasvwfc97"; CFGV = "13gk597r9n2wcgcbhribsqrp9wb8mmr3qd4zbv2ig8469kng0j4m"; |