Starting with inventory:
0000019539-b9e82ce3cfcac8c83d406f8b739f76177369ad2d02d3d734b4318e581f344919
[TAG 0.7
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20130129162215
 Ignore-this: 279d0b14ba997458df89073da57ce50
] 
hash: 0000013259-2ab5dac9dc343ab4ca7071585f023ed3c0a2a0d72178539f232ac80ef0d626ca
[Removed release-specific information.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20130129162230
 Ignore-this: f960b19320bf282bdc03b1b8e3d561b0
] 
hash: 0000000612-6b1cd3a39c21a0124c659dab9a27d3736f270d0428e923006ec4d2d66610e903
[Factorize Arg.
Guilhem Moulin <guilhem.moulin@chalmers.se>**20121116204148
 Ignore-this: e4c5a0d7cf3a50c97826f4c7cf734140
] 
hash: 0000002488-0cd249fad06532c508af3b3f8d01cf44ead67df6cbb81569f94c014ac6efae78
[Included Guilhem Moulin in the list of contributors.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20130220104515
 Ignore-this: cd79a3214fe4b4d41ce47881dae5d98
] 
hash: 0000000504-5c5448257a124db65abd7ad3d2d3f4cb0c9ef5f3b8e7f9ce7ba6214bfed0cd6d
[Renamed ArgInfo/arginfo to Arg-info/arg-info.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20130220120912
 Ignore-this: c7dad0d4e2d9ed4df5a7f9e13b442
] 
hash: 0000002281-c7f43776cfbd7a7fd274712ac47fcef59c27caf416f22e4d478b05b5ec3817af
[Added decToMaybe.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20130222171834
 Ignore-this: f1cd1b105af163a8c5b6e8da4ec6af44
] 
hash: 0000000409-faab2ddce6de1e0776dc82eb0704d55a74730538ecd19674a91dfdb082b3111c
[Added Data.Maybe.map.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20130225095411
 Ignore-this: c9a389f7f021a8190cfa3e21a50ea3aa
] 
hash: 0000002169-ef230a373f54fdf205872baa9299d06274efd9a31f6fc4e49556e1460b667eac
[Added Algebra.Monoid-solver.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20130225105203
 Ignore-this: f232c003a2bbd1927c8e75e697eae5e5
] 
hash: 0000005714-516b625f6f6438b876dc63910b7dde7409e30dc5aecf25d9622aa49560dd0994
[Added fixity declarations for _¬-⊎_ and _⊎-dec_.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20130225160336
 Ignore-this: 5b5bbdcb25d8a7f58e211719df537d7c
] 
hash: 0000000248-e8ac2eebd914c01d626994e4ff9d836ef074da60d76bff35b0c7770c68215c1c
[Added T-not-≡.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20130301094556
 Ignore-this: 809f65054fd98067498249d1b53c5ff2
] 
hash: 0000000345-fecea593dfe0141b628fa2ad11c35a9a50a7aaa0a831fc225bc4aff27d01ddd4
[Added split and wordsBy.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20130301101819
 Ignore-this: 3f0ddbe73af6ad6ef963cbd3b5362e57
] 
hash: 0000004370-05354a9cb4644de849a62b71b6027d0ae50ba85735688a338a15b71616eaa777
[Added length-replicate.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20130304133916
 Ignore-this: 45a1bb4feec59bc27c48e19b009cb9cc
] 
hash: 0000000386-342d55b47ea304ff18f7f2d7ca3c9fa42fe230192fb3f9019599fbb045d2c124
[Made _⊛_ less "strict", as suggested by Patrick Palka.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20130304184208
 Ignore-this: 374079025b60c6f877c4db0c86d56b4c
 + See http://code.google.com/p/agda/issues/detail?id=673.
] 
hash: 0000000323-206d856d3288e6df2f275410c45495aa9da4579705a60df1f65fef058bf0ed8f