summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc')
-rw-r--r--Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc1
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc b/Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc
index 694e9f8127b..adc5ec05e74 100644
--- a/Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc
+++ b/Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc
@@ -134,6 +134,7 @@ depend pm-isomath
depend polexpr
depend prftree
depend proba
+depend proof-at-the-end
depend prooftrees
depend pseudocode
depend pythonhighlight