descriptionmisc.git
ownerJérémy Bobbio
last changeSun, 23 Feb 2014 12:54:25 +0000 (13:54 +0100)
shortlog
2014-02-23 Stephane Glonduexit 0 master
2014-02-23 Stephane Glonduchown -R pbuilder:pbuilder <result-path>
2014-02-23 Stephane GlonduTune pinning instructions
2014-02-22 Stephane GlonduBuild with GZIP=-n
2014-02-22 Stephane GlonduUse more precise file names
2014-02-22 Stephane GlonduDo binary-only builds
2014-02-22 Stephane GlonduMore doc
2014-02-22 Stephane GlonduMore explicit build failure messages
2014-02-22 Stephane GlonduNo need to proceed if downloading fails
2014-02-22 Stephane GlonduPipe "apt-get source" into cat to make more sense of...
2014-02-22 Stephane GlonduAdd a script to rebuild twice at the same path
2014-02-22 Stephane GlonduAdd .gitignore
2014-02-14 Jérémy Bobbioget-reproducible.sh: create a nice table
2014-02-14 Jérémy Bobbiodiffp: Look into GHC interface files
2014-02-14 Jérémy Bobbiodiffp: look up tar files more thoroughly
2014-01-31 Jérémy BobbioAdd tools to sort the massive rebuild of 2014-01-26
...
heads
8 weeks ago master