Starting with inventory: 0000019539-b9e82ce3cfcac8c83d406f8b739f76177369ad2d02d3d734b4318e581f344919 [TAG 0.7 Nils Anders Danielsson **20130129162215 Ignore-this: 279d0b14ba997458df89073da57ce50 ] hash: 0000013259-2ab5dac9dc343ab4ca7071585f023ed3c0a2a0d72178539f232ac80ef0d626ca [Removed release-specific information. Nils Anders Danielsson **20130129162230 Ignore-this: f960b19320bf282bdc03b1b8e3d561b0 ] hash: 0000000612-6b1cd3a39c21a0124c659dab9a27d3736f270d0428e923006ec4d2d66610e903 [Factorize Arg. Guilhem Moulin **20121116204148 Ignore-this: e4c5a0d7cf3a50c97826f4c7cf734140 ] hash: 0000002488-0cd249fad06532c508af3b3f8d01cf44ead67df6cbb81569f94c014ac6efae78 [Included Guilhem Moulin in the list of contributors. Nils Anders Danielsson **20130220104515 Ignore-this: cd79a3214fe4b4d41ce47881dae5d98 ] hash: 0000000504-5c5448257a124db65abd7ad3d2d3f4cb0c9ef5f3b8e7f9ce7ba6214bfed0cd6d [Renamed ArgInfo/arginfo to Arg-info/arg-info. Nils Anders Danielsson **20130220120912 Ignore-this: c7dad0d4e2d9ed4df5a7f9e13b442 ] hash: 0000002281-c7f43776cfbd7a7fd274712ac47fcef59c27caf416f22e4d478b05b5ec3817af [Added decToMaybe. Nils Anders Danielsson **20130222171834 Ignore-this: f1cd1b105af163a8c5b6e8da4ec6af44 ] hash: 0000000409-faab2ddce6de1e0776dc82eb0704d55a74730538ecd19674a91dfdb082b3111c [Added Data.Maybe.map. Nils Anders Danielsson **20130225095411 Ignore-this: c9a389f7f021a8190cfa3e21a50ea3aa ] hash: 0000002169-ef230a373f54fdf205872baa9299d06274efd9a31f6fc4e49556e1460b667eac [Added Algebra.Monoid-solver. Nils Anders Danielsson **20130225105203 Ignore-this: f232c003a2bbd1927c8e75e697eae5e5 ] hash: 0000005714-516b625f6f6438b876dc63910b7dde7409e30dc5aecf25d9622aa49560dd0994 [Added fixity declarations for _¬-⊎_ and _⊎-dec_. Nils Anders Danielsson **20130225160336 Ignore-this: 5b5bbdcb25d8a7f58e211719df537d7c ] hash: 0000000248-e8ac2eebd914c01d626994e4ff9d836ef074da60d76bff35b0c7770c68215c1c