From: Wesley W. T. <we...@te...> - 2016-12-10 21:59:50
|
The current status is that we're waiting for the debian keyring maintainer to update the keyring. Then we can use the debian porter machines to update the package on all the affected architectures. On Sat, Dec 10, 2016 at 6:53 AM, Adam Chlipala <ad...@ch...> wrote: > I'm not a Debian expert, but I don't yet see any concrete progress in > this discussion thread for the compilation issue that I reported: > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=837567 > > From earlier discussion on this mailing list, I got the impression that > there may be a trivial technical fix, but the blocking factor could be > finding someone able to authorize an update to the Debian package > system. Is that right? If so, does it make sense for me to work on > finding such a person? > > ------------------------------------------------------------------------------ > Developer Access Program for Intel Xeon Phi Processors > Access to Intel Xeon Phi processor-based developer platforms. > With one year of Intel Parallel Studio XE. > Training and support from Colfax. > Order your platform today.http://sdm.link/xeonphi > _______________________________________________ > MLton-user mailing list > MLt...@li...; mlt...@ml... > https://lists.sourceforge.net/lists/listinfo/mlton-user -- You received this message because you are subscribed to the Google Groups "MLton-user" group. To unsubscribe from this group and stop receiving emails from it, send an email to mlt...@ml.... |