On 09/12/15 19:21, Emilio Pozuelo Monfort wrote: > Hey Jo, > > On 02/12/15 16:21, Jo Shields wrote: >> Related note: I've uploaded a fixed version of src:fsharp to Experimental, so >> all the issues reported on >> https://release.debian.org/transitions/html/mono.html >> are accounted for, in bugs which are all on the FTP team (including the minor >> ABI bump in an F# library, making it binary NEW). > > What is the plan for opentk and fsgateway?
opentk is suffering from some archive cruft issues, I think - https://packages.debian.org/sid/libopentk1.1-cil seems fine to me, but the old ABI https://packages.debian.org/sid/libopentk1.0-cil package is still showing up in a few places. I was leaving it a day or two to see if some cron job fixed it up. fsgateway is blocking on https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=803057 (Mono removes its bundled antique version of the PostgreSQL .NET client in 4.0, so I've had to introduce a standalone PostgreSQL .NET client package)
