aboutsummaryrefslogtreecommitdiff
path: root/deb
AgeCommit message (Expand)AuthorFilesLines
2016-01-07make_deb.sh - use --install-ghc flag instead of stack setup.John MacFarlane2-4/+3
2016-01-07deb pkg generation improvements.John MacFarlane3-3/+70
2016-01-07deb/Makefile: Renamed COMMIT -> TREEJohn MacFarlane1-2/+2
2016-01-03Updated binary package stack.yamls to ensure pandoc-citeproc...John MacFarlane1-1/+1
2016-01-02Updated stack.yaml files.John MacFarlane1-2/+3
2015-12-30stack.yaml - use simpler extra-deps field.John MacFarlane1-2/+2
2015-12-29Use cmark 0.5.John MacFarlane1-0/+2
2015-12-13Use lts-3.18 in stack.yamls.John MacFarlane1-1/+1
2015-12-01Use lts-3.16.John MacFarlane1-1/+1
2015-11-15Build deb pkg on wheezy so we require a lower libc version.John MacFarlane3-4/+4
2015-11-15deb/Vagrantfile improvements.John MacFarlane1-2/+3
2015-11-15Vagrantfile: Install certificates needed for stack to work.John MacFarlane3-0/+57
2015-11-14Use latest pandoc-citeproc in deb and osx packages.John MacFarlane1-1/+1
2015-11-14Use latest pandoc-citeproc in osx, deb packages.John MacFarlane1-2/+2
2015-11-13Use current pandoc-citeproc for deb and osx packages.John MacFarlane1-1/+1
2015-11-12Debian: added configurable VAGRANTBOX env variable.John MacFarlane2-2/+3
2015-10-24deb/Makefile: added 'clean'.John MacFarlane1-1/+4
2015-10-24deb/Vagrantfile: share .., so we can put the deb there.John MacFarlane1-1/+1
2015-10-24Added Vagrantfile for building deb in vm.John MacFarlane2-0/+81
2015-10-24Changed path . to .. in deb/osx stack.yaml.John MacFarlane1-1/+1
2015-10-24Changes for deb and osx package generators.John MacFarlane1-0/+17
2015-01-26Add Installed-Size to debian package control file.John MacFarlane1-0/+1
2014-12-19Removed extra spaces in deb/control.in.John MacFarlane1-11/+11
2014-12-17More improvements to debpkg target.John MacFarlane1-1/+1
2014-12-17Improved make_deb.sh.John MacFarlane1-1/+1
2014-12-17Changed make_binary_package -> make_deb.John MacFarlane1-0/+19
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-01 03:56:00 +0000