Commits · 06aa0dd9eca25f64f6e7c87d9fd8cefe3df47899 · InterLoS / ci-images

Browse files

Aug 11, 2020
- Miscellaneous additions · 06aa0dd9
  Vladimír Štill authored Aug 11, 2020
  
  06aa0dd9
Jul 15, 2020
- Merge branch 'v2020.0.0' into 'master' · f688eb35
  Roman Lacko authored Jul 15, 2020
  f688eb35
- Also install HUnit and QuickCheck for older GHCs · 912b13ef
  Vladimír Štill authored Jul 15, 2020
  
  912b13ef
- Update distro, add new GHC versions, drop 8.2 & 8.0 · 4ab5e913
  Vladimír Štill authored Jul 13, 2020 and Vladimír Štill committed Jul 15, 2020
  
  4ab5e913
Oct 27, 2019
- Merge branch 'work' into 'master' · f8ae4ce5
  Roman Lacko authored Oct 27, 2019
  f8ae4ce5
- Fix 'python3-pygments' package name. · d228c456
  Adam Matoušek authored Oct 27, 2019
  
  d228c456
Oct 26, 2019
- Always install latest QuickCheck and HUnit. · 0d42efb4
  Adam Matoušek authored Oct 26, 2019
  
  0d42efb4
Oct 25, 2019
- Even more packages. · 958f260f
  Adam Matoušek authored Oct 25, 2019
  
  958f260f
- Add new packages. · ad9d8956
  Adam Matoušek authored Oct 25, 2019
  
  ad9d8956
Oct 20, 2019
- XeLaTeX may need version change · 7621a7c9
  Ondřej Šebek authored Oct 20, 2019
  
  7621a7c9
- Add XeTeX. · ee27b1cc
  Ondřej Šebek authored Oct 20, 2019
  
  ee27b1cc
Jul 12, 2019
- Add 'python3-pkg-resources'. · e0997aca
  Adam Matoušek authored Jul 12, 2019
  e0997aca
- Merge branch 'work' into 'master' · 6890bc34
  Roman Lacko authored Jul 12, 2019
  6890bc34
Jul 10, 2019
- Use 'python3-pygments' instead of 'python-pygments'. · e2b973e4
  Adam Matoušek authored Jul 10, 2019
  e2b973e4
Jun 27, 2019
- Rebase on Debian Buster. · 34511728
  Adam Matoušek authored Jun 27, 2019
  34511728
- Rebase on Debian Buster. · 11ded848
  Adam Matoušek authored Jun 27, 2019
  11ded848
Mar 12, 2019
- Merge branch 'master' into 'master' · 5effe004
  Tomáš Szaniszlo authored Mar 12, 2019
  5effe004
- Update base image and Pandoc, add locale and additional packages. · 791813b6
  Adam Matoušek authored Mar 12, 2019 and Tomáš Szaniszlo committed Mar 12, 2019
  
  791813b6
Mar 11, 2019
- Fix and bump version. · 53cde424
  Adam Matoušek authored Mar 11, 2019
  
  53cde424
- Update base image, set locale, add new packages. · b015f3bc
  Adam Matoušek authored Mar 11, 2019
  
  b015f3bc
Oct 11, 2018
- Generalize Makefile · 355c4762
  Roman Lacko authored Oct 11, 2018
  
  355c4762
Oct 02, 2018
- Add version v1.0 · 68754d81
  Roman Lacko authored Oct 02, 2018
  
  68754d81
- Initial commit · a2ddcad7
  Roman Lacko authored Oct 02, 2018
  
  a2ddcad7