diff --git a/.ci/write-dockerfile.sh b/.ci/write-dockerfile.sh
index cfd4fb20810..973444bec72 100755
--- a/.ci/write-dockerfile.sh
+++ b/.ci/write-dockerfile.sh
@@ -275,11 +275,11 @@ cat <<EOF
 FROM with-system-packages AS bootstrapped
 #:bootstrapping:
 RUN rm -rf /new /sage/.git
-$ADD Makefile VERSION.txt COPYING.txt condarc.yml README.md bootstrap bootstrap-conda configure.ac sage .homebrew-build-env tox.ini Pipfile.m4 .gitignore /new/
+$ADD Makefile VERSION.txt COPYING.txt condarc.yml README.md bootstrap bootstrap-conda configure.ac sage .homebrew-build-env tox.ini .gitignore /new/
 $ADD config/config.rpath /new/config/config.rpath
 $ADD src/doc/bootstrap /new/src/doc/bootstrap
 $ADD src/bin /new/src/bin
-$ADD src/Pipfile.m4 src/pyproject.toml src/requirements.txt.m4 src/setup.cfg.m4 src/VERSION.txt /new/src/
+$ADD src/pyproject.toml src/requirements.txt.m4 src/setup.cfg.m4 src/VERSION.txt /new/src/
 $ADD m4 /new/m4
 $ADD pkgs /new/pkgs
 $ADD build /new/build
diff --git a/.gitignore b/.gitignore
index 0df6ef10d98..5fde73e92c2 100644
--- a/.gitignore
+++ b/.gitignore
@@ -56,10 +56,6 @@
 
 /src/setup.cfg
 /src/requirements.txt
-/src/Pipfile
-/src/Pipfile.lock
-/Pipfile
-/Pipfile.lock
 
 # Various editors
 *~
diff --git a/Makefile b/Makefile
index 96d1ba62e94..4bfe8e5c0e4 100644
--- a/Makefile
+++ b/Makefile
@@ -175,7 +175,6 @@ bootstrap-clean:
 	rm -f src/doc/en/installation/*.txt
 	find src/doc/en/reference/spkg -name index.rst -prune -o -maxdepth 1 -name "*.rst" -exec rm -f {} \+
 	for a in environment environment-optional src/environment src/environment-dev src/environment-optional; do rm -f $$a.yml $$a-3.[89].yml $$a-3.1[0-9].yml; done
-	rm -f src/Pipfile
 	rm -f src/requirements.txt
 	rm -f src/setup.cfg
 	rm -f build/pkgs/cypari/version_requirements.txt
diff --git a/Pipfile.m4 b/Pipfile.m4
deleted file mode 100644
index e7dd86744a0..00000000000
--- a/Pipfile.m4
+++ /dev/null
@@ -1,40 +0,0 @@
-## Pipfile with all packages in the Sage distribution and version information locked
-## FIXME: Many packages still missing.
-[[source]]
-name = "pypi"
-url = "https://pypi.org/simple"
-verify_ssl = true
-
-[dev-packages]
-pkgconfig = "==esyscmd(`printf $(sed "s/[.]p.*//;" ../pkgconfig/package-version.txt)')"
-cython = "==esyscmd(`printf $(sed "s/[.]p.*//;" ../cython/package-version.txt)')"
-pycodestyle = "*"
-ipykernel = "==esyscmd(`printf $(sed "s/[.]p.*//;" ../ipykernel/package-version.txt)')"
-tox = "*"
-jinja2 = "==esyscmd(`printf $(sed "s/[.]p.*//;" ../jinja2/package-version.txt)')"
-pytest = "*"
-ipywidgets = "==esyscmd(`printf $(sed "s/[.]p.*//;" ../ipywidgets/package-version.txt)')"
-sphinx = "==esyscmd(`printf $(sed "s/[.]p.*//;" ../sphinx/package-version.txt)')"
-rope = "*"
-six = "*"
-jupyter-core = "==esyscmd(`printf $(sed "s/[.]p.*//;" ../jupyter_core/package-version.txt)')"
-
-[packages]
-numpy = "==esyscmd(`printf $(sed "s/[.]p.*//;" ../numpy/package-version.txt)')"
-cysignals = "==esyscmd(`printf $(sed "s/[.]p.*//;" ../cysignals/package-version.txt)')"
-cypari2 = "==esyscmd(`printf $(sed "s/[.]p.*//;" ../cypari/package-version.txt)')"
-gmpy2 = "==esyscmd(`printf $(sed "s/[.]p.*//;" ../gmpy2/package-version.txt)')"
-pexpect = "==esyscmd(`printf $(sed "s/[.]p.*//;" ../pexpect/package-version.txt)')"
-ipython = "==esyscmd(`printf $(sed "s/[.]p.*//;" ../ipython/package-version.txt)')"
-sympy = "==esyscmd(`printf $(sed "s/[.]p.*//;" ../sympy/package-version.txt)')"
-scipy = "==esyscmd(`printf $(sed "s/[.]p.*//;" ../scipy/package-version.txt)')"
-pplpy = "==esyscmd(`printf $(sed "s/[.]p.*//;" ../pplpy/package-version.txt)')"
-matplotlib = "==esyscmd(`printf $(sed "s/[.]p.*//;" ../matplotlib/package-version.txt)')"
-cvxopt = "==esyscmd(`printf $(sed "s/[.]p.*//;" ../cvxopt/package-version.txt)')"
-rpy2 = "==esyscmd(`printf $(sed "s/[.]p.*//;" ../rpy2/package-version.txt)')"
-networkx = "==esyscmd(`printf $(sed "s/[.]p.*//;" ../networkx/package-version.txt)')"
-
-sagemath-standard = { path = "src" }
-
-[requires]
-python_version = "3.9"
diff --git a/bootstrap b/bootstrap
index 9d19e756a38..695e3a1550c 100755
--- a/bootstrap
+++ b/bootstrap
@@ -227,7 +227,6 @@ save () {
 	src/doc/en/installation/*.txt \
 	$(find src/doc/en/reference/spkg -name index.rst -prune -o -maxdepth 1 -name "*.rst" -print) \
 	environment-3.[89].yml environment-3.1[0-9].yml \
-	src/Pipfile \
 	src/pyproject.toml \
 	src/requirements.txt \
 	src/setup.cfg \
diff --git a/src/Pipfile.m4 b/src/Pipfile.m4
deleted file mode 100644
index feca57f7de9..00000000000
--- a/src/Pipfile.m4
+++ /dev/null
@@ -1,22 +0,0 @@
-## Pipfile with all dependencies of sagelib and version information as free as possible
-## (for developers to generate a dev environment)
-[[source]]
-name = "pypi"
-url = "https://pypi.org/simple"
-verify_ssl = true
-
-[dev-packages]
-## We do not list packages that are already declared as install_requires
-## in setup.cfg
-pycodestyle = "*"
-tox = "*"
-pytest = "*"
-rope = "*"
-six = "*"
-
-[packages]
-## We do not list packages that are already declared as install_requires
-## in setup.cfg
-
-[packages.e1839a8]
-path = "."