diff options
Diffstat (limited to 'deb')
-rw-r--r-- | deb/Makefile | 2 | ||||
-rw-r--r-- | deb/Vagrantfile | 4 | ||||
-rw-r--r-- | deb/control.in | 2 |
3 files changed, 4 insertions, 4 deletions
diff --git a/deb/Makefile b/deb/Makefile index 207de6895..0c4262fc0 100644 --- a/deb/Makefile +++ b/deb/Makefile @@ -1,5 +1,5 @@ COMMIT?=HEAD -VAGRANTBOX?=ubuntu/trusty64 +VAGRANTBOX?=debian/wheezy64 .PHONY: package clean diff --git a/deb/Vagrantfile b/deb/Vagrantfile index 41ce8a040..3a6ac14e8 100644 --- a/deb/Vagrantfile +++ b/deb/Vagrantfile @@ -12,7 +12,7 @@ Vagrant.configure(2) do |config| # Every Vagrant development environment requires a box. You can search for # boxes at https://atlas.hashicorp.com/search. - config.vm.box = ENV['VAGRANTBOX'] || "ubuntu/trusty64" + config.vm.box = ENV['VAGRANTBOX'] || "ubuntu/precise64" # Disable automatic box update checking. If you disable this, then # boxes will only be checked for updates when the user runs @@ -67,7 +67,7 @@ Vagrant.configure(2) do |config| config.vm.provision "shell", inline: <<-SHELL wget -q https://s3.amazonaws.com/download.fpcomplete.com/debian/fpco.key sudo apt-key add fpco.key - echo 'deb http://download.fpcomplete.com/ubuntu/trusty stable main'|sudo tee /etc/apt/sources.list.d/fpco.list + echo 'deb http://download.fpcomplete.com/ubuntu/precise stable main'|sudo tee /etc/apt/sources.list.d/fpco.list sudo apt-get update sudo apt-get install -y stack build-essential debhelper dh-make sudo cp /vagrant_data/deb/*.pem /etc/ssl/certs/ diff --git a/deb/control.in b/deb/control.in index 0aabf67a2..549f9c115 100644 --- a/deb/control.in +++ b/deb/control.in @@ -4,7 +4,7 @@ Section: text Priority: optional Architecture: ARCHITECTURE Installed-Size: INSTALLED_SIZE -Depends: libc6 (>= 2.11), libgmp10, zlib1g (>= 1:1.1.4) +Depends: libc6 (>= 2.13), libgmp10, zlib1g (>= 1:1.1.4) Maintainer: John MacFarlane <jgm@berkeley.edu> Description: general markup converter Pandoc is a Haskell library for converting from one markup |