Bug#959599: frama-c: FTBFS fixed upstream

2020-07-07 Thread Andre Maroneze
On Sat, 06 Jun 2020 09:47:57 -0400 John Scott wrote: > Control: forwarded -1 https://lists.gforge.inria.fr/pipermail/frama-c-discuss/2020-June/005823.html > Control: tags -1 fixed-upstream > > I'm having trouble finding their VCS and what commit fixed this, but updating > Frama-C to the beta s

Bug#959599: frama-c: FTBFS fixed upstream

2020-06-07 Thread John Scott
Control: forwarded -1 https://lists.gforge.inria.fr/pipermail/frama-c-discuss/2020-June/005823.html Control: tags -1 fixed-upstream > Hello, > > Le jeu. 4 juin 2020 à 18:43, John Scott a écrit : > > I'm not the maintainer, just a prospective user taking a look, but Frama-C > > hasn't been buildi