What was £80 then in today's terms?
..... depends how you want to calculate it!
The are 5 or 6 generally accepted calculations, which can factor in a sum's relationship to GDP, or average earnings or GDP per capita, but these would over-inflate (pun intended) the figure.
In terms of "how good a run ashore would it fund", it would be best to use either the RPI calculation or the GDP Deflator (Nominal GDP/Real GDP), which are not dissimilar.
RPI calculation would give: £2372.62
GDP Deflator calculation would give: £2487.72 both figures in 2006 GBPs...
So a good, useful answer would be:
About two-and-a-half grand!
Edited to add:
From other sources, a pint cost 1/- (5p) in 1945, so the £80 would have bought 1600 pints, so for "beer inflation" it would be well over £3k.
Ciggies (Churchman's to be precise) were 2/6d (12.5p) for 20. One is a non-smoker so cannot translate this.