Dan Grigsby

I was able to build the extension from source on Windows, though there shouldn't be anything Windows specific about this, by regenerating the pcap.c file with cython. From the the...

After resolving #316 , I saw this issue. In my case, I was able to resolve it. I had set the `b:coqtail_coq_path` and `b:coqtail_coq_prog` variables (to `/usr/bin/' and 'coqtop' respectively)....