pkgsrc-WIP-changes archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
tex-uplatex, tex-uptex, tex-uptex-fonts, tex-uptex-fonts-doc, texlive-collection-langjapanese, thrift, viewnior, why3: removed
Module Name: pkgsrc-wip
Committed By: Adam Ciarciński <aciarcinski%teonite.com@localhost>
Pushed By: adam
Date: Tue May 16 07:08:21 2023 +0200
Changeset: f06b5c0ea63e67b8d944563bd940e0d330c6fa32
Modified Files:
Makefile
Removed Files:
tex-uplatex/DESCR
tex-uplatex/Makefile
tex-uplatex/PLIST
tex-uplatex/distinfo
tex-uptex-fonts-doc/DESCR
tex-uptex-fonts-doc/Makefile
tex-uptex-fonts-doc/PLIST
tex-uptex-fonts-doc/distinfo
tex-uptex-fonts/DESCR
tex-uptex-fonts/Makefile
tex-uptex-fonts/PLIST
tex-uptex-fonts/distinfo
tex-uptex/DESCR
tex-uptex/Makefile
tex-uptex/PLIST
tex-uptex/distinfo
texlive-collection-langjapanese/DESCR
texlive-collection-langjapanese/Makefile
thrift/DESCR
thrift/Makefile
thrift/PLIST
thrift/TODO
thrift/distinfo
thrift/patches/patch-aclocal_ax__dmd.m4
thrift/patches/patch-configure.ac
viewnior/COMMIT_MSG
viewnior/DESCR
viewnior/Makefile
viewnior/PLIST
viewnior/distinfo
why3/DESCR
why3/Makefile
why3/PLIST
why3/distinfo
Log Message:
tex-uplatex, tex-uptex, tex-uptex-fonts, tex-uptex-fonts-doc, texlive-collection-langjapanese, thrift, viewnior, why3: removed
To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=f06b5c0ea63e67b8d944563bd940e0d330c6fa32
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
diffstat:
Makefile | 8 --
tex-uplatex/DESCR | 3 -
tex-uplatex/Makefile | 40 ------
tex-uplatex/PLIST | 31 ----
tex-uplatex/distinfo | 5 -
tex-uptex-fonts-doc/DESCR | 1 -
tex-uptex-fonts-doc/Makefile | 13 --
tex-uptex-fonts-doc/PLIST | 5 -
tex-uptex-fonts-doc/distinfo | 5 -
tex-uptex-fonts/DESCR | 3 -
tex-uptex-fonts/Makefile | 13 --
tex-uptex-fonts/PLIST | 97 -------------
tex-uptex-fonts/distinfo | 5 -
tex-uptex/DESCR | 7 -
tex-uptex/Makefile | 33 -----
tex-uptex/PLIST | 1 -
tex-uptex/distinfo | 5 -
texlive-collection-langjapanese/DESCR | 2 -
texlive-collection-langjapanese/Makefile | 74 ----------
thrift/DESCR | 5 -
thrift/Makefile | 33 -----
thrift/PLIST | 7 -
thrift/TODO | 2 -
thrift/distinfo | 7 -
thrift/patches/patch-aclocal_ax__dmd.m4 | 15 --
thrift/patches/patch-configure.ac | 15 --
viewnior/COMMIT_MSG | 24 ----
viewnior/DESCR | 3 -
viewnior/Makefile | 38 -----
viewnior/PLIST | 46 ------
viewnior/distinfo | 5 -
why3/DESCR | 12 --
why3/Makefile | 22 ---
why3/PLIST | 240 -------------------------------
why3/distinfo | 5 -
35 files changed, 830 deletions(-)
diffs:
diff --git a/Makefile b/Makefile
index 5dbb68fc4d..a5948ee816 100644
--- a/Makefile
+++ b/Makefile
@@ -5628,14 +5628,10 @@ SUBDIR+= tex-relsize-doc
SUBDIR+= tex-setspace-doc
SUBDIR+= tex-smartdiagram
SUBDIR+= tex-texlive-ja-doc
-SUBDIR+= tex-uplatex
SUBDIR+= tex-uplatex-doc
-SUBDIR+= tex-uptex
SUBDIR+= tex-uptex-base
SUBDIR+= tex-uptex-base-doc
SUBDIR+= tex-uptex-doc
-SUBDIR+= tex-uptex-fonts
-SUBDIR+= tex-uptex-fonts-doc
SUBDIR+= tex-worldflags
SUBDIR+= tex-worldflags-doc
SUBDIR+= tex-zxjafbfont
@@ -5644,7 +5640,6 @@ SUBDIR+= tex-zxjatype
SUBDIR+= tex-zxjatype-doc
SUBDIR+= texlab
SUBDIR+= texlive-collection-langcjk
-SUBDIR+= texlive-collection-langjapanese
SUBDIR+= texlive-tlpdb
SUBDIR+= textile-mode
SUBDIR+= tflint
@@ -5657,7 +5652,6 @@ SUBDIR+= thcrut
SUBDIR+= theama
SUBDIR+= thedarkmod
SUBDIR+= thepeg
-SUBDIR+= thrift
SUBDIR+= thunderbird
SUBDIR+= thunderbird68-enigmail
SUBDIR+= tilda
@@ -5849,7 +5843,6 @@ SUBDIR+= vidrioclock
SUBDIR+= vidriolib
SUBDIR+= viewer
SUBDIR+= viewglob
-SUBDIR+= viewnior
SUBDIR+= vim-nox11
SUBDIR+= vimb-git
SUBDIR+= vimb2
@@ -5909,7 +5902,6 @@ SUBDIR+= wgrib2
SUBDIR+= whatscli
SUBDIR+= which
SUBDIR+= why
-SUBDIR+= why3
SUBDIR+= wicd
SUBDIR+= widelands
SUBDIR+= will-it-scale-git
diff --git a/tex-uplatex/DESCR b/tex-uplatex/DESCR
deleted file mode 100644
index f5dcb36acc..0000000000
--- a/tex-uplatex/DESCR
+++ /dev/null
@@ -1,3 +0,0 @@
-The bundle provides pLaTeX2e macros for upTeX by Takuji Tanaka.
-This is a community edition syncing with platex. The bundle
-depends on platex.
diff --git a/tex-uplatex/Makefile b/tex-uplatex/Makefile
deleted file mode 100644
index 55d568f94b..0000000000
--- a/tex-uplatex/Makefile
+++ /dev/null
@@ -1,40 +0,0 @@
-# $NetBSD$
-
-DISTNAME= uplatex
-PKGNAME= tex-${DISTNAME}-2020
-TEXLIVE_REV= 57186
-
-MAINTAINER= pkgsrc-users%NetBSD.org@localhost
-HOMEPAGE= https://ctan.org/pkg/uplatex
-COMMENT= pLaTeX2e and miscellaneous macros for upTeX
-LICENSE= modified-bsd
-
-DEPENDS+= tex-atbegshi-[0-9]*:../../print/tex-atbegshi
-DEPENDS+= tex-atveryend-[0-9]*:../../print/tex-atveryend
-DEPENDS+= tex-babel-[0-9]*:../../print/tex-babel
-DEPENDS+= tex-cm-[0-9]*:../../fonts/tex-cm
-DEPENDS+= tex-everyshi-[0-9]*:../../wip/tex-everyshi
-DEPENDS+= tex-firstaid-[0-9]*:../../wip/tex-firstaid
-DEPENDS+= tex-hyphen-base-[0-9]*:../../print/tex-hyphen-base
-DEPENDS+= tex-l3backend-[0-9]*:../../devel/tex-l3backend
-DEPENDS+= tex-l3kernel-[0-9]*:../../devel/tex-l3kernel
-DEPENDS+= tex-l3packages-[0-9]*:../../devel/tex-l3packages
-DEPENDS+= tex-latex-[0-9]*:../../print/tex-latex
-DEPENDS+= tex-latex-base-dev-[0-9]*:../../print/tex-latex-base-dev
-DEPENDS+= tex-latex-fonts-[0-9]*:../../fonts/tex-latex-fonts
-DEPENDS+= tex-platex-[0-9]*:../../print/tex-platex
-DEPENDS+= tex-tex-ini-files-[0-9]*:../../print/tex-tex-ini-files
-DEPENDS+= tex-unicode-data-[0-9]*:../../print/tex-unicode-data
-DEPENDS+= tex-uptex-[0-9]*:../../wip/tex-uptex
-DEPENDS+= tex-uptex-fonts-[0-9]*:../../wip/tex-uptex-fonts
-
-INSTALLATION_DIRS+= bin
-
-TEX_FORMATS+= "uplatex euptex language.dat *uplatex.ini\\nuplatex-dev euptex language.dat *uplatex.ini\\n"
-
-post-install:
- ${LN} -sf euptex ${DESTDIR}${PREFIX}/bin/uplatex
- ${LN} -sf euptex ${DESTDIR}${PREFIX}/bin/uplatex-dev
-
-.include "../../print/texlive/package.mk"
-.include "../../mk/bsd.pkg.mk"
diff --git a/tex-uplatex/PLIST b/tex-uplatex/PLIST
deleted file mode 100644
index 4a4cffb912..0000000000
--- a/tex-uplatex/PLIST
+++ /dev/null
@@ -1,31 +0,0 @@
-@comment $NetBSD$
-bin/uplatex
-bin/uplatex-dev
-share/texmf-dist/tex/uplatex/base/jt2gt.fd
-share/texmf-dist/tex/uplatex/base/jt2mc.fd
-share/texmf-dist/tex/uplatex/base/jy2gt.fd
-share/texmf-dist/tex/uplatex/base/jy2mc.fd
-share/texmf-dist/tex/uplatex/base/ujarticle.cls
-share/texmf-dist/tex/uplatex/base/ujbk10.clo
-share/texmf-dist/tex/uplatex/base/ujbk11.clo
-share/texmf-dist/tex/uplatex/base/ujbk12.clo
-share/texmf-dist/tex/uplatex/base/ujbook.cls
-share/texmf-dist/tex/uplatex/base/ujreport.cls
-share/texmf-dist/tex/uplatex/base/ujsize10.clo
-share/texmf-dist/tex/uplatex/base/ujsize11.clo
-share/texmf-dist/tex/uplatex/base/ujsize12.clo
-share/texmf-dist/tex/uplatex/base/ukinsoku.tex
-share/texmf-dist/tex/uplatex/base/uplatex.ltx
-share/texmf-dist/tex/uplatex/base/uplcore.ltx
-share/texmf-dist/tex/uplatex/base/upldefs.ltx
-share/texmf-dist/tex/uplatex/base/uptrace.sty
-share/texmf-dist/tex/uplatex/base/utarticle.cls
-share/texmf-dist/tex/uplatex/base/utbk10.clo
-share/texmf-dist/tex/uplatex/base/utbk11.clo
-share/texmf-dist/tex/uplatex/base/utbk12.clo
-share/texmf-dist/tex/uplatex/base/utbook.cls
-share/texmf-dist/tex/uplatex/base/utreport.cls
-share/texmf-dist/tex/uplatex/base/utsize10.clo
-share/texmf-dist/tex/uplatex/base/utsize11.clo
-share/texmf-dist/tex/uplatex/base/utsize12.clo
-share/texmf-dist/tex/uplatex/config/uplatex.ini
diff --git a/tex-uplatex/distinfo b/tex-uplatex/distinfo
deleted file mode 100644
index 51ef0046f9..0000000000
--- a/tex-uplatex/distinfo
+++ /dev/null
@@ -1,5 +0,0 @@
-$NetBSD$
-
-RMD160 (uplatex.r57186.tar.xz) = 2eea16e5b32e9acd13aede8761319744fb612221
-SHA512 (uplatex.r57186.tar.xz) = e3fe867719f3e9dffba2d93de857e96e7db105c02aafb7cb5484fb19f4862c4e84a658930bd236dfd3693d829bf312c57665a554622b0aace50ed20ef14fd968
-Size (uplatex.r57186.tar.xz) = 14748 bytes
diff --git a/tex-uptex-fonts-doc/DESCR b/tex-uptex-fonts-doc/DESCR
deleted file mode 100644
index d440b54279..0000000000
--- a/tex-uptex-fonts-doc/DESCR
+++ /dev/null
@@ -1 +0,0 @@
-Documentation for tex-uptex-fonts.
diff --git a/tex-uptex-fonts-doc/Makefile b/tex-uptex-fonts-doc/Makefile
deleted file mode 100644
index ba6c4b26ec..0000000000
--- a/tex-uptex-fonts-doc/Makefile
+++ /dev/null
@@ -1,13 +0,0 @@
-# $NetBSD$
-
-DISTNAME= uptex-fonts.doc
-PKGNAME= tex-${DISTNAME:S/./-/}-2020
-TEXLIVE_REV= 54045
-
-MAINTAINER= pkgsrc-users%NetBSD.org@localhost
-HOMEPAGE= https://ctan.org/pkg/uptex-fonts
-COMMENT= Documentation for tex-uptex-fonts
-LICENSE= modified-bsd
-
-.include "../../print/texlive/package.mk"
-.include "../../mk/bsd.pkg.mk"
diff --git a/tex-uptex-fonts-doc/PLIST b/tex-uptex-fonts-doc/PLIST
deleted file mode 100644
index f02b361323..0000000000
--- a/tex-uptex-fonts-doc/PLIST
+++ /dev/null
@@ -1,5 +0,0 @@
-@comment $NetBSD$
-share/texmf-dist/doc/fonts/uptex-fonts/LICENSE
-share/texmf-dist/doc/fonts/uptex-fonts/README.md
-share/texmf-dist/doc/fonts/uptex-fonts/README_ASCII_Corp.txt
-share/texmf-dist/doc/fonts/uptex-fonts/README_uptex_font.md
diff --git a/tex-uptex-fonts-doc/distinfo b/tex-uptex-fonts-doc/distinfo
deleted file mode 100644
index b73881bdba..0000000000
--- a/tex-uptex-fonts-doc/distinfo
+++ /dev/null
@@ -1,5 +0,0 @@
-$NetBSD$
-
-RMD160 (uptex-fonts.doc.r54045.tar.xz) = 377093da2e6d0422b2a0113266c376ace868bbcc
-SHA512 (uptex-fonts.doc.r54045.tar.xz) = 3c41c19b078bb5f66b8231025e39df2b7b9b959d3a4a45b04058f670d6a08e83bef50c889045aa55caddfe7ccb8a5c7582c43115b4749232490f999574fd0ec7
-Size (uptex-fonts.doc.r54045.tar.xz) = 5168 bytes
diff --git a/tex-uptex-fonts/DESCR b/tex-uptex-fonts/DESCR
deleted file mode 100644
index 4ec429e901..0000000000
--- a/tex-uptex-fonts/DESCR
+++ /dev/null
@@ -1,3 +0,0 @@
-The bundle contains fonts (TFM and VF) for use with upTeX. This
-is a redistribution derived from the upTeX distribution by
-Takuji Tanaka.
diff --git a/tex-uptex-fonts/Makefile b/tex-uptex-fonts/Makefile
deleted file mode 100644
index 254d3b37d2..0000000000
--- a/tex-uptex-fonts/Makefile
+++ /dev/null
@@ -1,13 +0,0 @@
-# $NetBSD$
-
-DISTNAME= uptex-fonts
-PKGNAME= tex-${DISTNAME}-2020
-TEXLIVE_REV= 54045
-
-MAINTAINER= pkgsrc-users%NetBSD.org@localhost
-HOMEPAGE= https://ctan.org/pkg/uptex-fonts
-COMMENT= Fonts for use with upTeX
-LICENSE= modified-bsd
-
-.include "../../print/texlive/package.mk"
-.include "../../mk/bsd.pkg.mk"
diff --git a/tex-uptex-fonts/PLIST b/tex-uptex-fonts/PLIST
deleted file mode 100644
index 87b3cf1629..0000000000
--- a/tex-uptex-fonts/PLIST
+++ /dev/null
@@ -1,97 +0,0 @@
-@comment $NetBSD$
-share/texmf-dist/fonts/cmap/uptex-fonts/UTF8-UTF16
-share/texmf-dist/fonts/cmap/uptex-fonts/UniJIS2004up-UTF16-H
-share/texmf-dist/fonts/cmap/uptex-fonts/UniJIS2004up-UTF16-V
-share/texmf-dist/fonts/cmap/uptex-fonts/UniJISup-UTF16-H
-share/texmf-dist/fonts/cmap/uptex-fonts/UniJISup-UTF16-V
-share/texmf-dist/fonts/cmap/uptex-fonts/cid_mapping.md
-share/texmf-dist/fonts/source/uptex-fonts/Makefile
-share/texmf-dist/fonts/source/uptex-fonts/makejvf-upjis.cnf
-share/texmf-dist/fonts/source/uptex-fonts/makejvf-upjpn.cnf
-share/texmf-dist/fonts/source/uptex-fonts/makepl.perl
-share/texmf-dist/fonts/source/uptex-fonts/punctuation.md
-share/texmf-dist/fonts/source/uptex-fonts/upjisr-h-hk.pl
-share/texmf-dist/fonts/source/uptex-fonts/upjisr-h.pl
-share/texmf-dist/fonts/source/uptex-fonts/upjisr-v.pl
-share/texmf-dist/fonts/source/uptex-fonts/upkorr-h.pl
-share/texmf-dist/fonts/source/uptex-fonts/upkorr-v.pl
-share/texmf-dist/fonts/source/uptex-fonts/uprml-h-hk.pl
-share/texmf-dist/fonts/source/uptex-fonts/uprml-h.pl
-share/texmf-dist/fonts/source/uptex-fonts/upschr-h.pl
-share/texmf-dist/fonts/source/uptex-fonts/upschr-v.pl
-share/texmf-dist/fonts/source/uptex-fonts/uptchr-h.pl
-share/texmf-dist/fonts/source/uptex-fonts/uptchr-v.pl
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/upgbm-h.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/upgbm-hq.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/upgbm-v.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/uphygt-h.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/uphygt-v.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/uphysmjm-h.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/uphysmjm-v.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/upjisg-h.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/upjisg-hq.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/upjisg-v.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/upjisr-h.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/upjisr-hq.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/upjisr-v.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/upjpngt-h.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/upjpngt-v.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/upjpnrm-h.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/upjpnrm-v.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/upkorgt-h.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/upkorgt-v.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/upkorrm-h.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/upkorrm-v.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/upmhm-h.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/upmhm-v.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/upmsl-h.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/upmsl-v.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/uprml-h.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/uprml-hq.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/uprml-v.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/upschgt-h.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/upschgt-v.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/upschrm-h.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/upschrm-v.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/upstht-h.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/upstht-v.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/upstsl-h.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/upstsl-v.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/uptchgt-h.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/uptchgt-v.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/uptchrm-h.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/jis/uptchrm-v.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/min/ugbm.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/min/ugbmv.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/min/ugoth10.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/min/umin10.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/min/urml.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/min/urmlv.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/min/utgoth10.tfm
-share/texmf-dist/fonts/tfm/uptex-fonts/min/utmin10.tfm
-share/texmf-dist/fonts/vf/uptex-fonts/jis/upjisg-h.vf
-share/texmf-dist/fonts/vf/uptex-fonts/jis/upjisg-hq.vf
-share/texmf-dist/fonts/vf/uptex-fonts/jis/upjisg-v.vf
-share/texmf-dist/fonts/vf/uptex-fonts/jis/upjisr-h.vf
-share/texmf-dist/fonts/vf/uptex-fonts/jis/upjisr-hq.vf
-share/texmf-dist/fonts/vf/uptex-fonts/jis/upjisr-v.vf
-share/texmf-dist/fonts/vf/uptex-fonts/jis/upjpngt-h.vf
-share/texmf-dist/fonts/vf/uptex-fonts/jis/upjpngt-v.vf
-share/texmf-dist/fonts/vf/uptex-fonts/jis/upjpnrm-h.vf
-share/texmf-dist/fonts/vf/uptex-fonts/jis/upjpnrm-v.vf
-share/texmf-dist/fonts/vf/uptex-fonts/jis/upkorgt-h.vf
-share/texmf-dist/fonts/vf/uptex-fonts/jis/upkorgt-v.vf
-share/texmf-dist/fonts/vf/uptex-fonts/jis/upkorrm-h.vf
-share/texmf-dist/fonts/vf/uptex-fonts/jis/upkorrm-v.vf
-share/texmf-dist/fonts/vf/uptex-fonts/jis/upschgt-h.vf
-share/texmf-dist/fonts/vf/uptex-fonts/jis/upschgt-v.vf
-share/texmf-dist/fonts/vf/uptex-fonts/jis/upschrm-h.vf
-share/texmf-dist/fonts/vf/uptex-fonts/jis/upschrm-v.vf
-share/texmf-dist/fonts/vf/uptex-fonts/jis/uptchgt-h.vf
-share/texmf-dist/fonts/vf/uptex-fonts/jis/uptchgt-v.vf
-share/texmf-dist/fonts/vf/uptex-fonts/jis/uptchrm-h.vf
-share/texmf-dist/fonts/vf/uptex-fonts/jis/uptchrm-v.vf
-share/texmf-dist/fonts/vf/uptex-fonts/min/ugoth10.vf
-share/texmf-dist/fonts/vf/uptex-fonts/min/umin10.vf
-share/texmf-dist/fonts/vf/uptex-fonts/min/utgoth10.vf
-share/texmf-dist/fonts/vf/uptex-fonts/min/utmin10.vf
diff --git a/tex-uptex-fonts/distinfo b/tex-uptex-fonts/distinfo
deleted file mode 100644
index 502eda323b..0000000000
--- a/tex-uptex-fonts/distinfo
+++ /dev/null
@@ -1,5 +0,0 @@
-$NetBSD$
-
-RMD160 (uptex-fonts.r54045.tar.xz) = 0e29fd12cd69977fdc5fc1f0fc5b0c9963c49363
-SHA512 (uptex-fonts.r54045.tar.xz) = 600d47ed277ce4bc0ad0de219e307b2c4741229c0e02ad94f7dddb2f309309922fcfbc9de5e115d85ad45b53485ff844e70d5af8086f7a16980ac579795c2e7f
-Size (uptex-fonts.r54045.tar.xz) = 169608 bytes
diff --git a/tex-uptex/DESCR b/tex-uptex/DESCR
deleted file mode 100644
index 57c80b520b..0000000000
--- a/tex-uptex/DESCR
+++ /dev/null
@@ -1,7 +0,0 @@
-upTeX is an extension of pTeX, using UTF-8 input and producing
-UTF-8 output. It was originally designed to improve support for
-Japanese, but is also useful for documents in Chinese and
-Korean. It can process Chinese simplified, Chinese traditional,
-Japanese, and Korean simultaneously, and can also process
-original LaTeX with \inputenc{utf8} and Babel
-(Latin/Cyrillic/Greek etc.) by switching its \kcatcode tables.
diff --git a/tex-uptex/Makefile b/tex-uptex/Makefile
deleted file mode 100644
index 6ded6c6348..0000000000
--- a/tex-uptex/Makefile
+++ /dev/null
@@ -1,33 +0,0 @@
-# $NetBSD$
-
-DISTNAME= uptex
-PKGNAME= tex-${DISTNAME}-2020
-TEXLIVE_REV= 56291
-
-MAINTAINER= pkgsrc-users%NetBSD.org@localhost
-HOMEPAGE= https://ctan.org/pkg/uptex
-COMMENT= Unicode version of pTeX
-
-DEPENDS+= tex-cm-[0-9]*:../../fonts/tex-cm
-DEPENDS+= tex-etex-[0-9]*:../../print/tex-etex
-DEPENDS+= tex-hyphen-base-[0-9]*:../../print/tex-hyphen-base
-DEPENDS+= tex-knuth-lib-[0-9]*:../../fonts/tex-knuth-lib
-DEPENDS+= tex-plain-[0-9]*:../../print/tex-plain
-DEPENDS+= tex-ptex-base-[0-9]*:../../print/tex-ptex-base
-DEPENDS+= tex-uptex-base-[0-9]*:../../wip/tex-uptex-base
-DEPENDS+= tex-uptex-fonts-[0-9]*:../../wip/tex-uptex-fonts
-DEPENDS+= upmendex-[0-9]*:../../textproc/upmendex
-DEPENDS+= web2c>=2020:../../print/web2c
-
-TEX_FORMATS+= "uptex uptex - uptex.ini\\neuptex euptex language.def *euptex.ini\\n"
-
-TEX_KANJIMAP_FILES+= uptex-@jaEmbed@@jaVariant@.map
-TEX_KANJIMAP_FILES+= uptex-ko-@koEmbed@.map
-TEX_KANJIMAP_FILES+= uptex-sc-@scEmbed@.map
-TEX_KANJIMAP_FILES+= uptex-tc-@tcEmbed@.map
-
-META_PACKAGE= yes
-TEXLIVE_UNVERSIONED= yes
-.include "../../print/texlive/package.mk"
-
-.include "../../mk/bsd.pkg.mk"
diff --git a/tex-uptex/PLIST b/tex-uptex/PLIST
deleted file mode 100644
index 48d96a5493..0000000000
--- a/tex-uptex/PLIST
+++ /dev/null
@@ -1 +0,0 @@
-@comment $NetBSD$
diff --git a/tex-uptex/distinfo b/tex-uptex/distinfo
deleted file mode 100644
index d1e81e733a..0000000000
--- a/tex-uptex/distinfo
+++ /dev/null
@@ -1,5 +0,0 @@
-$NetBSD$
-
-RMD160 (tex-uptex-56291/uptex.tar.xz) = 8a95c12649dfe8eab67c6e484a055da20dbd84af
-SHA512 (tex-uptex-56291/uptex.tar.xz) = 194cb48f6e42c1f4785cebd40fc796566e1e03bd3149b1f19d51fa4dc38fb22ea048ea3b0f63e98b4b03ceffacc912cc837446234fc0b75d543991bda97bd09f
-Size (tex-uptex-56291/uptex.tar.xz) = 916 bytes
diff --git a/texlive-collection-langjapanese/DESCR b/texlive-collection-langjapanese/DESCR
deleted file mode 100644
index 0dbb24f481..0000000000
--- a/texlive-collection-langjapanese/DESCR
+++ /dev/null
@@ -1,2 +0,0 @@
-Support for Japanese; additional packages are in
-collection-langcjk.
diff --git a/texlive-collection-langjapanese/Makefile b/texlive-collection-langjapanese/Makefile
deleted file mode 100644
index b1a890de39..0000000000
--- a/texlive-collection-langjapanese/Makefile
+++ /dev/null
@@ -1,74 +0,0 @@
-# $NetBSD$
-
-DISTNAME= collection-langjapanese
-PKGNAME= texlive-${DISTNAME}-2021
-CATEGORIES= meta-pkgs
-MASTER_SITES= # empty
-TEXLIVE_REV= 58754
-
-MAINTAINER= pkgsrc-users%NetBSD.org@localhost
-HOMEPAGE= https://www.tug.org/texlive/
-COMMENT= Japanese TeX packages
-
-DEPENDS+= texlive-collection-langcjk-[0-9]*:../../wip/texlive-collection-langcjk
-
-DEPENDS+= tex-ascmac-[0-9]*:../../wip/tex-ascmac
-DEPENDS+= tex-babel-japanese-[0-9]*:../../wip/tex-babel-japanese
-DEPENDS+= tex-bxbase-[0-9]*:../../wip/tex-bxbase
-DEPENDS+= tex-bxcjkjatype-[0-9]*:../../wip/tex-bxcjkjatype
-DEPENDS+= tex-bxghost-[0-9]*:../../wip/tex-bxghost
-DEPENDS+= tex-bxjaholiday-[0-9]*:../../wip/tex-bxjaholiday
-DEPENDS+= tex-bxjalipsum-[0-9]*:../../wip/tex-bxjalipsum
-DEPENDS+= tex-bxjaprnind-[0-9]*:../../wip/tex-bxjaprnind
-DEPENDS+= tex-bxjatoucs-[0-9]*:../../wip/tex-bxjatoucs
-DEPENDS+= tex-bxjscls-[0-9]*:../../wip/tex-bxjscls
-DEPENDS+= tex-bxorigcapt-[0-9]*:../../wip/tex-bxorigcapt
-DEPENDS+= tex-bxwareki-[0-9]*:../../wip/tex-bxwareki
-DEPENDS+= tex-convbkmk-[0-9]*:../../wip/tex-convbkmk
-DEPENDS+= tex-endnotesj-[0-9]*:../../wip/tex-endnotesj
-DEPENDS+= tex-gckanbun-[0-9]*:../../print/tex-gckanbun
-DEPENDS+= tex-gentombow-[0-9]*:../../wip/tex-gentombow
-DEPENDS+= tex-haranoaji-[0-9]*:../../fonts/tex-haranoaji
-DEPENDS+= tex-haranoaji-extra-[0-9]*:../../wip/tex-haranoaji-extra
-DEPENDS+= tex-ifptex-[0-9]*:../../wip/tex-ifptex
-DEPENDS+= tex-ifxptex-[0-9]*:../../wip/tex-ifxptex
-DEPENDS+= tex-ipaex-[0-9]*:../../fonts/tex-ipaex
-DEPENDS+= tex-japanese-otf-[0-9]*:../../fonts/tex-japanese-otf
-DEPENDS+= tex-japanese-otf-uptex-[0-9]*:../../wip/tex-japanese-otf-uptex
-DEPENDS+= tex-jlreq-[0-9]*:../../wip/tex-jlreq
-DEPENDS+= tex-jlreq-deluxe-[0-9]*:../../wip/tex-jlreq-deluxe
-DEPENDS+= tex-jsclasses-[0-9]*:../../print/tex-jsclasses
-# lshort-japanese is documentation only
-DEPENDS+= tex-luatexja-[0-9]*:../../wip/tex-luatexja
-# mendex-doc is is documentation only
-DEPENDS+= tex-morisawa-[0-9]*:../../wip/tex-morisawa
-DEPENDS+= tex-pbibtex-base-[0-9]*:../../print/tex-pbibtex-base
-DEPENDS+= tex-platex-[0-9]*:../../print/tex-platex
-DEPENDS+= tex-platex-tools-[0-9]*:../../wip/tex-platex-tools
-# platexcheat is documentation only
-DEPENDS+= tex-plautopatch-[0-9]*:../../wip/tex-plautopatch
-DEPENDS+= tex-ptex-[0-9]*:../../print/tex-ptex
-DEPENDS+= tex-ptex-base-[0-9]*:../../print/tex-ptex-base
-DEPENDS+= tex-ptex-fontmaps-[0-9]*:../../fonts/tex-ptex-fontmaps
-DEPENDS+= tex-ptex-fonts-[0-9]*:../../fonts/tex-ptex-fonts
-# ptex-manual is documentation only
-DEPENDS+= tex-ptex2pdf-[0-9]*:../../wip/tex-ptex2pdf
-DEPENDS+= tex-pxbase-[0-9]*:../../wip/tex-pxbase
-DEPENDS+= tex-pxchfon-[0-9]*:../../wip/tex-pxchfon
-DEPENDS+= tex-pxcjkcat-[0-9]*:../../wip/tex-pxcjkcat
-DEPENDS+= tex-pxjahyper-[0-9]*:../../wip/tex-pxjahyper
-DEPENDS+= tex-pxjodel-[0-9]*:../../wip/tex-pxjodel
-DEPENDS+= tex-pxrubrica-[0-9]*:../../wip/tex-pxrubrica
-DEPENDS+= tex-pxufont-[0-9]*:../../wip/tex-pxufont
-# texlive-ja is documentation only
-DEPENDS+= tex-uplatex-[0-9]*:../../wip/tex-uplatex
-DEPENDS+= tex-uptex-[0-9]*:../../wip/tex-uptex
-DEPENDS+= tex-uptex-base-[0-9]*:../../wip/tex-uptex-base
-DEPENDS+= tex-uptex-fonts-[0-9]*:../../wip/tex-uptex-fonts
-DEPENDS+= tex-wadalab-[0-9]*:../../fonts/tex-wadalab
-DEPENDS+= tex-zxjafbfont-[0-9]*:../../wip/tex-zxjafbfont
-DEPENDS+= tex-zxjatype-[0-9]*:../../wip/tex-zxjatype
-
-META_PACKAGE= yes
-
-.include "../../mk/bsd.pkg.mk"
diff --git a/thrift/DESCR b/thrift/DESCR
deleted file mode 100644
index 1b3d661f8c..0000000000
--- a/thrift/DESCR
+++ /dev/null
@@ -1,5 +0,0 @@
-The Apache Thrift software framework, for scalable cross-language services
-development, combines a software stack with a code generation engine to build
-services that work efficiently and seamlessly between C++, Java, Python, PHP,
-Ruby, Erlang, Perl, Haskell, C#, Cocoa, JavaScript, Node.js, Smalltalk, OCaml
-and Delphi and other languages.
diff --git a/thrift/Makefile b/thrift/Makefile
deleted file mode 100644
index 46604a3cda..0000000000
--- a/thrift/Makefile
+++ /dev/null
@@ -1,33 +0,0 @@
-# $NetBSD$
-
-DISTNAME= thrift-0.9.3
-CATEGORIES= devel
-MASTER_SITES= https://archive.apache.org/dist/thrift/${PKGVERSION_NOREV}/
-
-MAINTAINER= pkgsrc-users%NetBSD.org@localhost
-HOMEPAGE= https://thrift.apache.org/
-COMMENT= Framework for cross-language services development
-LICENSE= apache-2.0
-
-USE_TOOLS+= pkg-config automake autoconf aclocal lex yacc gmake autoscan autoheader
-USE_LIBTOOL= yes
-USE_LANGUAGES= c c++
-
-PKGCONFIG_OVERRIDE+= lib/c_glib/thrift_c_glib.pc.in
-PKGCONFIG_OVERRIDE+= lib/cpp/thrift-nb.pc.in
-PKGCONFIG_OVERRIDE+= lib/cpp/thrift-qt.pc.in
-PKGCONFIG_OVERRIDE+= lib/cpp/thrift-z.pc.in
-PKGCONFIG_OVERRIDE+= lib/cpp/thrift.pc.in
-
-GNU_CONFIGURE= yes
-
-pre-configure:
- ${RUN} cd ${WRKSRC} && \
- autoscan && \
- libtoolize --copy --automake && \
- aclocal -I ./aclocal && \
- autoheader && \
- autoconf && \
- automake --copy --add-missing --foreign
-
-.include "../../mk/bsd.pkg.mk"
diff --git a/thrift/PLIST b/thrift/PLIST
deleted file mode 100644
index 86fa234c61..0000000000
--- a/thrift/PLIST
+++ /dev/null
@@ -1,7 +0,0 @@
-@comment $NetBSD$
-bin/thrift
-include/src/socket.h
-lib/libluabitwise.la
-lib/libluabpack.la
-lib/liblualongnumber.la
-lib/libluasocket.la
diff --git a/thrift/TODO b/thrift/TODO
deleted file mode 100644
index 46756acfb8..0000000000
--- a/thrift/TODO
+++ /dev/null
@@ -1,2 +0,0 @@
-- This package has known vulnerabilities, please investigate and fix if possible:
- CVE-2016-5397, CVE-2018-1320, CVE-2018-11798, CVE-2020-13949
diff --git a/thrift/distinfo b/thrift/distinfo
deleted file mode 100644
index 9e9795305a..0000000000
--- a/thrift/distinfo
+++ /dev/null
@@ -1,7 +0,0 @@
-$NetBSD$
-
-RMD160 (thrift-0.9.3.tar.gz) = 238dfe898808bf2a1c509a565f6678858237d94c
-SHA512 (thrift-0.9.3.tar.gz) = 743131b276155c2d178404e190bdebcc12cedf42956f3d83177ebb4e4b85768b111a999dcf054594e92c120431323769a9641fc2ff2efade983191afd0786c2c
-Size (thrift-0.9.3.tar.gz) = 2161165 bytes
-SHA1 (patch-aclocal_ax__dmd.m4) = f9e0c8d11ae4bf2052adfccc93b0601daf9724e4
-SHA1 (patch-configure.ac) = 6ec3cf58be687868c42e043c675726332b99124c
diff --git a/thrift/patches/patch-aclocal_ax__dmd.m4 b/thrift/patches/patch-aclocal_ax__dmd.m4
deleted file mode 100644
index 52b30b0b18..0000000000
--- a/thrift/patches/patch-aclocal_ax__dmd.m4
+++ /dev/null
@@ -1,15 +0,0 @@
-$NetBSD$
-
-Fix portability.
-
---- aclocal/ax_dmd.m4.orig 2015-10-01 17:16:28.000000000 +0000
-+++ aclocal/ax_dmd.m4
-@@ -67,7 +67,7 @@ AC_DEFUN([AX_DMD],
-
- # Test whether OPTLINK is used by trying if DMD accepts -L/? without
- # erroring out.
-- if test "$success" == "yes" ; then
-+ if test "$success" = "yes" ; then
- AC_MSG_CHECKING(whether DMD uses OPTLINK)
- echo "Running \”$DMD -L/? configtest_ax_dmd.d\"" >&AS_MESSAGE_LOG_FD
- if $DMD -L/? configtest_ax_dmd.d >&AS_MESSAGE_LOG_FD 2>&1 ; then
diff --git a/thrift/patches/patch-configure.ac b/thrift/patches/patch-configure.ac
deleted file mode 100644
index 2a48b939e0..0000000000
--- a/thrift/patches/patch-configure.ac
+++ /dev/null
@@ -1,15 +0,0 @@
-$NetBSD$
-
-Fix portability.
-
---- configure.ac.orig 2015-10-01 17:16:28.000000000 +0000
-+++ configure.ac
-@@ -199,7 +199,7 @@ AM_CONDITIONAL(WITH_C_GLIB, [test "$have
- AX_THRIFT_LIB(csharp, [C#], yes)
- if test "$with_csharp" = "yes"; then
- PKG_CHECK_MODULES(MONO, mono >= 2.11.0, mono_2_11=yes, mono_2_11=no)
-- if test "$mono_2_11" == "yes"; then
-+ if test "$mono_2_11" = "yes"; then
- AC_PATH_PROG([MCS], [mcs])
- if test "x$MCS" != "x"; then
- mono_mcs="yes"
diff --git a/viewnior/COMMIT_MSG b/viewnior/COMMIT_MSG
deleted file mode 100644
index edf30955fd..0000000000
--- a/viewnior/COMMIT_MSG
+++ /dev/null
@@ -1,24 +0,0 @@
-Update graphics/viewnior to 1.6.
-
-Changes:
- * Viewnior 1.6
- * New features:
- * Added support for the back & forward buttons of your mouse
- * Updated translations
- * Fixes:
- * Mouse scroll behaviour and actions settings
- * Viewnior 1.5
- * New features:
- * Disable Wallpaper support during compilation
- * Updated translations
- * Fixes:
- * Preferences menu position
- * Nitrogen wallpaper support
- * Viewnior 1.4
- * New features:
- * Read EXIF and IPTC metadata
- * Nitrogen support
- * Updated translations
- * Fixes:
- * Preserve metadata after image modification
- * Rendidering artifacts when panning
diff --git a/viewnior/DESCR b/viewnior/DESCR
deleted file mode 100644
index 1721a3c8f3..0000000000
--- a/viewnior/DESCR
+++ /dev/null
@@ -1,3 +0,0 @@
-This is Viewnior, an image viewer program. Created to be simple,
-fast and elegant. It's minimalistic interface provides more
-screenspace for your images.
diff --git a/viewnior/Makefile b/viewnior/Makefile
deleted file mode 100644
index bf13f73edb..0000000000
--- a/viewnior/Makefile
+++ /dev/null
@@ -1,38 +0,0 @@
-# $NetBSD: Makefile,v 1.20 2015/09/12 20:03:01 tnn Exp $
-#
-
-DISTNAME= viewnior-1.6
-CATEGORIES= graphics
-MASTER_SITES= ${MASTER_SITE_GITHUB:=xsisqox/}
-GITHUB_PROJECT= Viewnior
-GITHUB_TAG= viewnior-${PKGVERSION_NOREV}
-# For some reason the initial 'v' of the tag is dropped.
-# Perhaps it is supposed to handle tags similar to 'v0.0'.
-WRKSRC= ${WRKDIR}/${GITHUB_PROJECT}-${GITHUB_TAG}
-
-MAINTAINER= ryoon%NetBSD.org@localhost
-HOMEPAGE= http://siyanpanayotov.com/project/viewnior/
-COMMENT= Viewnior is a fast and simple image viewer
-LICENSE= gnu-gpl-v3
-
-GNU_CONFIGURE= yes
-USE_LIBTOOL= yes
-
-USE_TOOLS+= autoconf automake
-USE_TOOLS+= intltool pkg-config gmake msgfmt
-USE_LANGUAGES= c c++
-
-BUILD_DEPENDS+= gettext-m4-[0-9]*:../../devel/gettext-m4
-BUILD_DEPENDS+= gnome-common-[0-9]*:../../devel/gnome-common
-
-pre-configure:
- cd ${WRKSRC} && ./autogen.sh
-
-.include "../../databases/shared-mime-info/buildlink3.mk"
-.include "../../devel/glib2/buildlink3.mk"
-.include "../../graphics/exiv2/buildlink3.mk"
-.include "../../graphics/gdk-pixbuf2/buildlink3.mk"
-.include "../../graphics/hicolor-icon-theme/buildlink3.mk"
-.include "../../sysutils/desktop-file-utils/desktopdb.mk"
-.include "../../x11/gtk2/buildlink3.mk"
-.include "../../mk/bsd.pkg.mk"
diff --git a/viewnior/PLIST b/viewnior/PLIST
deleted file mode 100644
index 0552103c4b..0000000000
--- a/viewnior/PLIST
+++ /dev/null
@@ -1,46 +0,0 @@
-@comment $NetBSD: PLIST,v 1.2 2012/11/03 13:54:20 ryoon Exp $
-bin/viewnior
-man/man1/viewnior.1
-share/applications/viewnior.desktop
-share/icons/hicolor/16x16/apps/viewnior.png
-share/icons/hicolor/22x22/apps/viewnior.png
-share/icons/hicolor/24x24/apps/viewnior.png
-share/icons/hicolor/32x32/apps/viewnior.png
-share/icons/hicolor/48x48/apps/viewnior.png
-share/icons/hicolor/scalable/apps/viewnior.svg
-share/locale/ar/LC_MESSAGES/viewnior.mo
-share/locale/bg/LC_MESSAGES/viewnior.mo
-share/locale/bs/LC_MESSAGES/viewnior.mo
-share/locale/ca/LC_MESSAGES/viewnior.mo
-share/locale/ca@valencia/LC_MESSAGES/viewnior.mo
-share/locale/cs/LC_MESSAGES/viewnior.mo
-share/locale/da/LC_MESSAGES/viewnior.mo
-share/locale/de/LC_MESSAGES/viewnior.mo
-share/locale/el/LC_MESSAGES/viewnior.mo
-share/locale/es/LC_MESSAGES/viewnior.mo
-share/locale/fi/LC_MESSAGES/viewnior.mo
-share/locale/fr/LC_MESSAGES/viewnior.mo
-share/locale/gl/LC_MESSAGES/viewnior.mo
-share/locale/he/LC_MESSAGES/viewnior.mo
-share/locale/hu/LC_MESSAGES/viewnior.mo
-share/locale/it/LC_MESSAGES/viewnior.mo
-share/locale/ja/LC_MESSAGES/viewnior.mo
-share/locale/lt/LC_MESSAGES/viewnior.mo
-share/locale/nl/LC_MESSAGES/viewnior.mo
-share/locale/oc/LC_MESSAGES/viewnior.mo
-share/locale/pl/LC_MESSAGES/viewnior.mo
-share/locale/pt/LC_MESSAGES/viewnior.mo
-share/locale/pt_BR/LC_MESSAGES/viewnior.mo
-share/locale/ru/LC_MESSAGES/viewnior.mo
-share/locale/sk/LC_MESSAGES/viewnior.mo
-share/locale/sr/LC_MESSAGES/viewnior.mo
-share/locale/sv/LC_MESSAGES/viewnior.mo
-share/locale/tr/LC_MESSAGES/viewnior.mo
-share/locale/uk/LC_MESSAGES/viewnior.mo
-share/locale/zh_CN/LC_MESSAGES/viewnior.mo
-share/viewnior/pixmaps/object-flip-horizontal.png
-share/viewnior/pixmaps/object-flip-vertical.png
-share/viewnior/pixmaps/object-rotate-left.png
-share/viewnior/pixmaps/object-rotate-right.png
-share/viewnior/vnr-crop-dialog.ui
-share/viewnior/vnr-preferences-dialog.ui
diff --git a/viewnior/distinfo b/viewnior/distinfo
deleted file mode 100644
index 356ca8763f..0000000000
--- a/viewnior/distinfo
+++ /dev/null
@@ -1,5 +0,0 @@
-$NetBSD: distinfo,v 1.3 2015/11/03 21:34:34 agc Exp $
-
-RMD160 (viewnior-1.6.tar.gz) = 2f1a1df3c7ebeb299ca32bbef9d57201d10d95db
-SHA512 (viewnior-1.6.tar.gz) = 4b150078573bfd3b8c5863d73087a51cd3b7ed5781e26c842fab44eec3e67ea9aea3feba064538578878df1ccb386525a6a84362dae7f92315fb7de735ace617
-Size (viewnior-1.6.tar.gz) = 168966 bytes
diff --git a/why3/DESCR b/why3/DESCR
deleted file mode 100644
index e0b64171db..0000000000
--- a/why3/DESCR
+++ /dev/null
@@ -1,12 +0,0 @@
- Why3 is a platform for deductive program verification. It provides a rich
-language for specification and programming, called WhyML, and relies
-on external theorem provers, both automated and interactive, to
-discharge verification conditions.
-
- Why3 comes with a standard library of logical theories (integer and
-real arithmetic, Boolean operations, sets and maps, etc.) and basic
-programming data structures (arrays, queues, hash tables, etc.). A
-user can write WhyML programs directly and get correct-by-construction
-OCaml programs through an automated extraction mechanism. WhyML is
-also used as an intermediate language for the verification of C, Java,
-or Ada programs
diff --git a/why3/Makefile b/why3/Makefile
deleted file mode 100644
index edc7d18714..0000000000
--- a/why3/Makefile
+++ /dev/null
@@ -1,22 +0,0 @@
-# $NetBSD: Makefile,v 1.1 2015/08/14 23:11:53 jihbed Exp $
-
-DISTNAME= why3-1.4.0
-CATEGORIES= devel
-MASTER_SITES= https://why3.gitlabpages.inria.fr/releases/
-
-MAINTAINER= jihbed.research%gmail.com@localhost
-HOMEPAGE= http://why3.lri.fr/
-COMMENT= Platform for deductive program verification
-LICENSE= gnu-lgpl-v2.1
-
-#DEPENDS+= frama-c-[0-9]*:../../devel/frama-c
-DEPENDS+= menhir-[0-9]*:../../devel/menhir
-
-GNU_CONFIGURE= yes
-USE_TOOLS+= gmake
-
-#CONFIGURE_ARGS+= --enable-frama-c
-CONFIGURE_ARGS+= --disable-ide
-
-.include "../../lang/ocaml/buildlink3.mk"
-.include "../../mk/bsd.pkg.mk"
diff --git a/why3/PLIST b/why3/PLIST
deleted file mode 100644
index 2464b59522..0000000000
--- a/why3/PLIST
+++ /dev/null
@@ -1,240 +0,0 @@
-@comment $NetBSD$
-bin/why3
-lib/why3/commands/why3config.cmxs
-lib/why3/commands/why3doc.cmxs
-lib/why3/commands/why3execute.cmxs
-lib/why3/commands/why3extract.cmxs
-lib/why3/commands/why3pp.cmxs
-lib/why3/commands/why3prove.cmxs
-lib/why3/commands/why3realize.cmxs
-lib/why3/commands/why3replay.cmxs
-lib/why3/commands/why3session.cmxs
-lib/why3/commands/why3shell.cmxs
-lib/why3/commands/why3wc.cmxs
-lib/why3/commands/why3webserver.cmxs
-lib/why3/coq/BuiltIn.vo
-lib/why3/coq/HighOrd.vo
-lib/why3/coq/bool/Bool.vo
-lib/why3/coq/bv/BV_Gen.vo
-lib/why3/coq/bv/Pow2int.vo
-lib/why3/coq/for_drivers/ComputerOfEuclideanDivision.vo
-lib/why3/coq/int/Abs.vo
-lib/why3/coq/int/ComputerDivision.vo
-lib/why3/coq/int/Div2.vo
-lib/why3/coq/int/EuclideanDivision.vo
-lib/why3/coq/int/Exponentiation.vo
-lib/why3/coq/int/Int.vo
-lib/why3/coq/int/MinMax.vo
-lib/why3/coq/int/NumOf.vo
-lib/why3/coq/int/Power.vo
-lib/why3/coq/list/Append.vo
-lib/why3/coq/list/Combine.vo
-lib/why3/coq/list/Distinct.vo
-lib/why3/coq/list/HdTl.vo
-lib/why3/coq/list/HdTlNoOpt.vo
-lib/why3/coq/list/Length.vo
-lib/why3/coq/list/List.vo
-lib/why3/coq/list/Mem.vo
-lib/why3/coq/list/Nth.vo
-lib/why3/coq/list/NthHdTl.vo
-lib/why3/coq/list/NthLength.vo
-lib/why3/coq/list/NthLengthAppend.vo
-lib/why3/coq/list/NthNoOpt.vo
-lib/why3/coq/list/NumOcc.vo
-lib/why3/coq/list/Permut.vo
-lib/why3/coq/list/RevAppend.vo
-lib/why3/coq/list/Reverse.vo
-lib/why3/coq/map/Const.vo
-lib/why3/coq/map/Map.vo
-lib/why3/coq/map/MapInjection.vo
-lib/why3/coq/map/MapPermut.vo
-lib/why3/coq/map/Occ.vo
-lib/why3/coq/number/Coprime.vo
-lib/why3/coq/number/Divisibility.vo
-lib/why3/coq/number/Gcd.vo
-lib/why3/coq/number/Parity.vo
-lib/why3/coq/number/Prime.vo
-lib/why3/coq/option/Option.vo
-lib/why3/coq/real/Abs.vo
-lib/why3/coq/real/ExpLog.vo
-lib/why3/coq/real/FromInt.vo
-lib/why3/coq/real/MinMax.vo
-lib/why3/coq/real/PowerInt.vo
-lib/why3/coq/real/PowerReal.vo
-lib/why3/coq/real/Real.vo
-lib/why3/coq/real/RealInfix.vo
-lib/why3/coq/real/Square.vo
-lib/why3/coq/real/Trigonometry.vo
-lib/why3/coq/set/Cardinal.vo
-lib/why3/coq/set/Fset.vo
-lib/why3/coq/set/FsetInduction.vo
-lib/why3/coq/set/FsetInt.vo
-lib/why3/coq/set/FsetSum.vo
-lib/why3/coq/set/Set.vo
-lib/why3/coq/set/SetApp.vo
-lib/why3/coq/set/SetAppInt.vo
-lib/why3/coq/set/SetImp.vo
-lib/why3/coq/set/SetImpInt.vo
-lib/why3/coq/version
-lib/why3/plugins/cfg.cmxs
-lib/why3/plugins/dimacs.cmxs
-lib/why3/plugins/genequlin.cmxs
-lib/why3/plugins/hypothesis_selection.cmxs
-lib/why3/plugins/microc.cmxs
-lib/why3/plugins/python.cmxs
-lib/why3/plugins/tptp.cmxs
-lib/why3/why3-call-pvs
-lib/why3/why3cpulimit
-lib/why3/why3server
-share/emacs/site-lisp/why3.el
-share/emacs/site-lisp/why3.elc
-share/why3/LICENSE
-share/why3/Makefile.config
-share/why3/drivers/alt_ergo.drv
-share/why3/drivers/alt_ergo_2_2_0.drv
-share/why3/drivers/alt_ergo_2_3.drv
-share/why3/drivers/alt_ergo_common.drv
-share/why3/drivers/alt_ergo_fp.drv
-share/why3/drivers/alt_ergo_model.drv
-share/why3/drivers/alt_ergo_smt2.drv
-share/why3/drivers/beagle.drv
-share/why3/drivers/c.drv
-share/why3/drivers/cakeml.drv
-share/why3/drivers/coq-common.gen
-share/why3/drivers/coq-realizations.aux
-share/why3/drivers/coq-realize.drv
-share/why3/drivers/coq-ssreflect.drv
-share/why3/drivers/coq.drv
-share/why3/drivers/cvc3.drv
-share/why3/drivers/cvc4-realize.drv
-share/why3/drivers/cvc4.drv
-share/why3/drivers/cvc4_14.drv
-share/why3/drivers/cvc4_15.drv
-share/why3/drivers/cvc4_15_counterexample.drv
-share/why3/drivers/cvc4_16.drv
-share/why3/drivers/cvc4_16.gen
-share/why3/drivers/cvc4_16_counterexample.drv
-share/why3/drivers/cvc4_17.drv
-share/why3/drivers/cvc4_17_counterexample.drv
-share/why3/drivers/cvc4_17_strings.drv
-share/why3/drivers/cvc4_17_strings_counterexample.drv
-share/why3/drivers/cvc4_bv.gen
-share/why3/drivers/discrimination.gen
-share/why3/drivers/eprover.drv
-share/why3/drivers/gappa.drv
-share/why3/drivers/iprover.drv
-share/why3/drivers/isabelle-common.gen
-share/why3/drivers/isabelle-realizations.aux
-share/why3/drivers/isabelle2018-realize.drv
-share/why3/drivers/isabelle2018.drv
-share/why3/drivers/isabelle2019-realize.drv
-share/why3/drivers/isabelle2019.drv
-share/why3/drivers/mathematica.drv
-share/why3/drivers/mathsat.drv
-share/why3/drivers/metis.drv
-share/why3/drivers/metitarski.drv
-share/why3/drivers/no-bv.gen
-share/why3/drivers/ocaml-unsafe-int.drv
-share/why3/drivers/ocaml64.drv
-share/why3/drivers/polypaver.drv
-share/why3/drivers/princess.drv
-share/why3/drivers/psyche.drv
-share/why3/drivers/pvs-common.gen
-share/why3/drivers/pvs-realizations.aux
-share/why3/drivers/pvs-realize.drv
-share/why3/drivers/pvs.drv
-share/why3/drivers/safeprover.drv
-share/why3/drivers/simplify.drv
-share/why3/drivers/smt-libv2-bv-realization.gen
-share/why3/drivers/smt-libv2-bv.gen
-share/why3/drivers/smt-libv2-floats-gnatprove.gen
-share/why3/drivers/smt-libv2-floats-int_via_bv.gen
-share/why3/drivers/smt-libv2-floats-int_via_real.gen
-share/why3/drivers/smt-libv2-floats.gen
-share/why3/drivers/smt-libv2-gnatprove.gen
-share/why3/drivers/smt-libv2.gen
-share/why3/drivers/smtlib-strings.gen
-share/why3/drivers/spass.drv
-share/why3/drivers/spass_types.drv
-share/why3/drivers/tptp-tff0.drv
-share/why3/drivers/tptp-tff1.drv
-share/why3/drivers/tptp.gen
-share/why3/drivers/vampire-smt.drv
-share/why3/drivers/vampire.drv
-share/why3/drivers/verit.drv
-share/why3/drivers/why3.drv
-share/why3/drivers/why3_smt.drv
-share/why3/drivers/why3_tptp.drv
-share/why3/drivers/yices-smt2.drv
-share/why3/drivers/yices.drv
-share/why3/drivers/z3.drv
-share/why3/drivers/z3_432.drv
-share/why3/drivers/z3_440.drv
-share/why3/drivers/z3_440_counterexample.drv
-share/why3/drivers/z3_471.drv
-share/why3/drivers/z3_471_counterexample.drv
-share/why3/drivers/z3_471_nobv.drv
-share/why3/drivers/z3_bv.gen
-share/why3/drivers/z3_smtv1.drv
-share/why3/drivers/zenon.drv
-share/why3/drivers/zenon_modulo.drv
-share/why3/lang/why3.lang
-share/why3/lang/why3c.lang
-share/why3/lang/why3py.lang
-share/why3/provers-detection-data.conf
-share/why3/stdlib/algebra.mlw
-share/why3/stdlib/array.mlw
-share/why3/stdlib/bag.mlw
-share/why3/stdlib/bintree.mlw
-share/why3/stdlib/bool.mlw
-share/why3/stdlib/bv.mlw
-share/why3/stdlib/byte_string.mlw
-share/why3/stdlib/cursor.mlw
-share/why3/stdlib/debug.mlw
-share/why3/stdlib/exn.mlw
-share/why3/stdlib/floating_point.mlw
-share/why3/stdlib/fmap.mlw
-share/why3/stdlib/for_drivers.mlw
-share/why3/stdlib/function.mlw
-share/why3/stdlib/graph.mlw
-share/why3/stdlib/hashtbl.mlw
-share/why3/stdlib/ieee_float.mlw
-share/why3/stdlib/int.mlw
-share/why3/stdlib/io.mlw
-share/why3/stdlib/list.mlw
-share/why3/stdlib/mach/array.mlw
-share/why3/stdlib/mach/bv.mlw
-share/why3/stdlib/mach/c.mlw
-share/why3/stdlib/mach/float.mlw
-share/why3/stdlib/mach/fxp.mlw
-share/why3/stdlib/mach/int.mlw
-share/why3/stdlib/mach/matrix.mlw
-share/why3/stdlib/mach/onetime.mlw
-share/why3/stdlib/mach/peano.mlw
-share/why3/stdlib/mach/tagset.mlw
-share/why3/stdlib/map.mlw
-share/why3/stdlib/matrix.mlw
-share/why3/stdlib/microc.mlw
-share/why3/stdlib/null.mlw
-share/why3/stdlib/number.mlw
-share/why3/stdlib/ocaml.mlw
-share/why3/stdlib/option.mlw
-share/why3/stdlib/pigeon.mlw
-share/why3/stdlib/pqueue.mlw
-share/why3/stdlib/python.mlw
-share/why3/stdlib/queue.mlw
-share/why3/stdlib/random.mlw
-share/why3/stdlib/real.mlw
-share/why3/stdlib/ref.mlw
-share/why3/stdlib/regexp.mlw
-share/why3/stdlib/relations.mlw
-share/why3/stdlib/seq.mlw
-share/why3/stdlib/set.mlw
-share/why3/stdlib/stack.mlw
-share/why3/stdlib/string.mlw
-share/why3/stdlib/tptp.mlw
-share/why3/stdlib/tree.mlw
-share/why3/stdlib/witness.mlw
-share/why3/vim/ftdetect/why3.vim
-share/why3/vim/syntax/why3.vim
-share/why3/why3session.dtd
diff --git a/why3/distinfo b/why3/distinfo
deleted file mode 100644
index 2a681e6f69..0000000000
--- a/why3/distinfo
+++ /dev/null
@@ -1,5 +0,0 @@
-$NetBSD: distinfo,v 1.1 2015/08/14 23:11:53 jihbed Exp $
-
-BLAKE2s (why3-1.4.0.tar.gz) = b636eb7ca304d9c9873fd8c76bbd3ed28ea9924b4afe6c33c3b56b419d8a9bac
-SHA512 (why3-1.4.0.tar.gz) = b492f08a3c7073782b143a4849c47766b12045ad53c56aa8d251fd5b6bc1863ddebe260c99b3ddb27c4e1e1e9ab986c8b02286ec24f4c30f99f81f5f13fdc90a
-Size (why3-1.4.0.tar.gz) = 6306524 bytes
- Prev by Date:
simh3, squid4, tinyproxy, translate-toolkit, upmendex, upower, vcf-split, vcf2hap: removed
- Next by Date:
ruby-typhoeus, tex-bxbase[-doc], tex-bxjaholiday[-doc], tex-bxjalipsum[-doc], tex-bxjaprnind[-doc]: removed
- Previous by Thread:
simh3, squid4, tinyproxy, translate-toolkit, upmendex, upower, vcf-split, vcf2hap: removed
- Next by Thread:
ruby-typhoeus, tex-bxbase[-doc], tex-bxjaholiday[-doc], tex-bxjalipsum[-doc], tex-bxjaprnind[-doc]: removed
- Indexes:
Home |
Main Index |
Thread Index |
Old Index