Ben Sturmfels e6f8beeea4

Remove Debian 10 development Dockerfile. ...

Debian 11 has been released, so future releases need not provide explicit
support for Debian 10.

2021-08-15 22:35:45 +10:00

..

debian-11-with-site-packages.yml

Add pip freeze to Docker and CI builds for later troubleshooting.

2021-03-30 13:38:47 +11:00

fedora-33-with-site-packages.yml

Add pip freeze to Docker and CI builds for later troubleshooting.

2021-03-30 13:38:47 +11:00