Julien Puydt

Here is what the slightly changed hornerE I propose gives on my example: ``` From mathcomp Require Import all_ssreflect all_algebra. From mathcomp.analysis Require Import reals. Set Implicit Arguments. Unset Strict...

The sentence lines 21 and 22 of LICENSE looks strange: shouldn't the start read "In some cases," ? The tool to check the LICENSE file is named 'lintian'. Thanks for...

Ok, I finally packaged all deps for coq-serapi in Debian ; unfortunately, the licensing is still pretty... fuzzy. Here are special notices: 1. LICENSE and coq-serapi.opam are contradictory ; 2....

A new openssl landed in Debian, so the current package for tornado is broken: [bug](https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=954630) I think it's related to the discussion here... What is the status of this bug?

Yes, it's port 9 each time. The last version was passing all tests, and this one has 35 tests failing with the title error message, and another one I haven't...

Here is the full log. [log.txt](https://github.com/tornadoweb/tornado/files/5479778/log.txt)

I'm using pycurl 7.43.0.6 and libcurl 7.72.0.

I don't know enough javascript, but apparently this explains how to port it: https://github.com/blakeembrey/free-style/commit/b506c8b48d05c9c95ab08c4d6fc56a20176fdd2f

I tried to write a patch -- tsc is happy about it, but I don't know how good it is: ``` --- typestyle.orig/src/internal/typestyle.ts +++ typestyle/src/internal/typestyle.ts @@ -111,7 +111,9 @@ */...

I could get tsc happy with: ``` --- typestyle.orig/src/types.ts +++ typestyle/src/types.ts @@ -20,7 +20,7 @@ $unique?: boolean; } -export interface FontFace extends CSS.FontFace {} +export interface FontFace extends CSS.AtRule.FontFace {}...