0000000000000000000000000000000000000000 01658eafebee508825f9802eda765cdc57c4390f Jean-Pierre Flori <jean-pierre.flori@ssi.gouv.fr> 1500326145 +0000	clone: from https://github.com/SPancratz/deformation.git
01658eafebee508825f9802eda765cdc57c4390f 6ccf459d276a0ad2186557e7490cd6efc487d6ad Jean-Pierre Flori <jean-pierre.flori@ssi.gouv.fr> 1500328482 +0000	commit: Update build system (copied from arb).
6ccf459d276a0ad2186557e7490cd6efc487d6ad e656d599b7c7ce73d3836f887632769596d15135 Jean-Pierre Flori <jean-pierre.flori@ssi.gouv.fr> 1500328524 +0000	commit (amend): Update build system (copied from arb).
e656d599b7c7ce73d3836f887632769596d15135 e670399c35c6bacd241de58ee32bdc91a0865b47 Jean-Pierre Flori <jean-pierre.flori@ssi.gouv.fr> 1500328529 +0000	commit: Update flint includes.
e670399c35c6bacd241de58ee32bdc91a0865b47 78bd9f0062bf09f1690c8b3b1482e47f6096ac47 Jean-Pierre Flori <jean-pierre.flori@ssi.gouv.fr> 1500329211 +0000	commit: Remove subdir Makefile's.
78bd9f0062bf09f1690c8b3b1482e47f6096ac47 ab6cd7cc12b08922c5d884d4b3e83d9c9c44f808 Jean-Pierre Flori <jean-pierre.flori@ssi.gouv.fr> 1500329465 +0000	commit: Put 0:0:0 in libtool versioning at the moment.
ab6cd7cc12b08922c5d884d4b3e83d9c9c44f808 aff68a806d753686c596c17b4f5fb177ce173b61 Jean-Pierre Flori <jean-pierre.flori@ssi.gouv.fr> 1500412428 +0000	commit: Install headers in subdirectory.
aff68a806d753686c596c17b4f5fb177ce173b61 ab1f26ee3d3e1e21e2fcdc0e4008ec741caf4ae7 Jean-Pierre Flori <jean-pierre.flori@ssi.gouv.fr> 1500413379 +0000	commit: Dirty fix to keep the result.
ab1f26ee3d3e1e21e2fcdc0e4008ec741caf4ae7 cad43a455846dd8adeb54812fbb55eddb6cd6f88 Jean-Pierre Flori <jean-pierre.flori@ssi.gouv.fr> 1500577255 +0000	pull: Fast-forward
cad43a455846dd8adeb54812fbb55eddb6cd6f88 32a991e13345ec39bc56ce72dc813214b234e8b0 Jean-Pierre Flori <jean-pierre.flori@ssi.gouv.fr> 1500577290 +0000	commit: Remove harmful .valgrindrc.
32a991e13345ec39bc56ce72dc813214b234e8b0 7180b71d6923e4a1928e9fb77b2df25438e15697 Jean-Pierre Flori <jean-pierre.flori@ssi.gouv.fr> 1500582828 +0000	commit: Add license.
7180b71d6923e4a1928e9fb77b2df25438e15697 d05941bf9f3951e218f978ed8590964383d9d1f3 Jean-Pierre Flori <jean-pierre.flori@ssi.gouv.fr> 1500583189 +0000	commit (amend): Add license.
