diff options
Diffstat (limited to 'Master/tlpkg/tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc | 1 | ||||
-rw-r--r-- | Master/tlpkg/tlpsrc/synproof.tlpsrc | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc b/Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc index 48fb74a6494..71fbe97e6d6 100644 --- a/Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc +++ b/Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc @@ -20,6 +20,7 @@ depend Package/mh depend Package/mhequ depend Package/nath depend Package/stmaryrd +depend Package/synproof depend Package/tensor depend Package/tmmath depend Package/venn diff --git a/Master/tlpkg/tlpsrc/synproof.tlpsrc b/Master/tlpkg/tlpsrc/synproof.tlpsrc new file mode 100644 index 00000000000..80af8663f5c --- /dev/null +++ b/Master/tlpkg/tlpsrc/synproof.tlpsrc @@ -0,0 +1,2 @@ +name synproof +category Package |