OpenBSD/ports (13)x
OpenBSD
OpenBSD (13)
OpenBSD/ports (13)
committer (5)
jasper (5)
ajacoutot (2)
espie (2)
naddy (2)
sthen (2)
BranchesHEAD (13)
tags (20)
OPENBSD_5_0_BASE (4)
OPENBSD_5_1_BASE (4)
OPENBSD_5_2_BASE (4)
OPENBSD_5_3_BASE (3)
OPENBSD_5_4_BASE (2)
OPENBSD_5_5_BASE (2)
OPENBSD_5_6_BASE (2)
OPENBSD_5_7_BASE (2)
OPENBSD_5_8_BASE (2)
OPENBSD_5_9_BASE (2)
OPENBSD_6_0_BASE (2)
OPENBSD_6_1_BASE (2)
OPENBSD_6_2_BASE (2)
OPENBSD_6_3_BASE (2)
OPENBSD_6_4_BASE (2)
OPENBSD_6_5_BASE (2)
OPENBSD_6_6_BASE (2)
OPENBSD_6_7_BASE (2)
OPENBSD_6_8_BASE (2)
jasper_20110703 (1)

Includex
Include
Exclude
Only

Newestx
Newest
Oldest
Most Relevant
Least Relevant
Most Changes
Fewest Changes

OpenBSD/ports Oc7vGBT — math/prover9/ladr Makefile, math/prover9/ladr/patches patch-utilities_gvizify patch-utilities_looper

by sthen on ⎇
   apply 2to3 conversions via patches rather than running during build
VersionDeltaFile
1.1+71-0math/prover9/ladr/patches/patch-utilities_gvizify
1.1+47-0math/prover9/ladr/patches/patch-utilities_looper
1.1+23-0math/prover9/ladr/patches/patch-utilities_attack
1.1+20-0math/prover9/ladr/patches/patch-utilities_prover9-mace4
1.12+4-9math/prover9/ladr/Makefile
+165-95 files

OpenBSD/ports Iox1Kd5 — lang/rust Makefile, mail/kopano/core Makefile

by sthen on ⎇
   bump REVISION for py3.10 -> py3.11 switch
VersionDeltaFile
1.161+6-6net/avahi/Makefile
1.97+8-2net/freeradius/Makefile
1.97+3-3misc/gpsd/Makefile
1.203+6-0lang/rust/Makefile
1.75+2-2net/samba/pkg/PLIST-main
1.87+2-2mail/kopano/core/Makefile
+27-15242 files not shown
+279-126248 files

OpenBSD/ports 2K5RISn — math/R Makefile, math/fftw Makefile

by espie on ⎇
   MASTER_SITES -> SITES
VersionDeltaFile
1.129+2-2math/R/Makefile
1.26+1-1math/fftw/Makefile
1.41+1-1math/fftw3/Makefile
1.6+1-1math/gbc/Makefile
1.19+1-1math/geogebra/Makefile
1.37+1-1math/ginac/Makefile
+7-756 files not shown
+63-6362 files

OpenBSD/ports A7PJI5f — math/prover9/ladr Makefile, math/prover9/p9m4 Makefile

by ajacoutot on ⎇
   Unbreak and move p9m4 to python 3.
VersionDeltaFile
1.1+25-0math/prover9/p9m4/patches/patch-control_py
1.1+23-0math/prover9/p9m4/patches/patch-prover9-mace4_py
1.1+20-0math/prover9/p9m4/patches/patch-partition_input_py
1.3+10-1math/prover9/p9m4/pkg/PLIST
1.12+5-4math/prover9/p9m4/Makefile
1.9+1-1math/prover9/ladr/Makefile
+84-66 files

OpenBSD/ports ffB9K2a — math/prover9 Makefile.inc, math/prover9/ladr Makefile

by ajacoutot on ⎇
   Move ladr to python3 using 2to3.
   This is only for installed examples anyway.
VersionDeltaFile
1.8+2-1math/prover9/ladr/Makefile
1.8+0-1math/prover9/Makefile.inc
+2-22 files

OpenBSD/ports Y034zzG — math/eigen3/patches patch-scripts_buildtests_in, math/igraph Makefile

by naddy on ⎇
   drop RCS Ids
VersionDeltaFile
1.3+0-2math/p5-Math-GMPf/patches/patch-Random_Makefile_PL
1.2+0-2math/eigen3/patches/patch-scripts_buildtests_in
1.5+0-2math/p5-Math-GMPz/Makefile
1.3+0-2math/p5-Math-GMPz/patches/patch-Makefile_PL
1.3+0-2math/p5-Math-GMPz/patches/patch-Random_Makefile_PL
1.2+0-2math/igraph/Makefile
+0-12546 files not shown
+0-867552 files

OpenBSD/ports 9752652 — databases/py-pgsql Makefile, devel/subversion Makefile

by espie on ⎇🏷
   PERMIT_* / REGRESS->TEST sweep
VersionDeltaFile
1.57+38-38lang/ruby/ruby.port.mk
1.4+12-12lang/erlang/erlang.port.mk
1.117+10-13devel/subversion/Makefile
1.19+8-11security/py-openssl/Makefile
1.24+9-9lang/ocaml/ocaml.port.mk
1.12+7-10databases/py-pgsql/Makefile
+84-935,481 files not shown
+8,795-24,5035,487 files

OpenBSD/ports 1dcee2f — math/prover9/ladr Makefile, math/prover9/ladr/patches patch-apps_src_Makefile patch-provers_src_Makefile

by naddy on ⎇🏷
   properly honor CC/CFLAGS
VersionDeltaFile
1.5+4-4math/prover9/ladr/Makefile
1.2+1-1math/prover9/ladr/patches/patch-apps_src_Makefile
1.2+1-1math/prover9/ladr/patches/patch-provers_src_Makefile
1.2+1-1math/prover9/ladr/patches/patch-mace4_src_Makefile
1.2+1-1math/prover9/ladr/patches/patch-ladr_Makefile
+8-85 files

OpenBSD/ports 6217bdd — math/prover9/ladr Makefile, math/prover9/p9m4 Makefile

by jasper on ⎇🏷
   missing bump
VersionDeltaFile
1.4+2-2math/prover9/p9m4/Makefile
1.4+2-2math/prover9/ladr/Makefile
+4-42 files

OpenBSD/ports a06aef3 — math/prover9 Makefile.inc, math/prover9/ladr Makefile

by jasper on ⎇🏷
   - tweak MASTER_SITES
VersionDeltaFile
1.2+2-2math/prover9/Makefile.inc
1.3+2-2math/prover9/ladr/Makefile
1.3+2-2math/prover9/p9m4/Makefile
+6-63 files

OpenBSD/ports 6c77e60 — comms/hamlib Makefile, graphics/py-Imaging Makefile

by jasper on ⎇🏷
   bump after default python version switch
VersionDeltaFile
1.32+5-5security/prelude/libpreludedb/Makefile
1.62+5-5net/rrdtool/Makefile
1.51+5-5graphics/py-Imaging/Makefile
1.19+4-4sysutils/gamin/Makefile
1.22+4-4comms/hamlib/Makefile
1.60+7-1net/avahi/Makefile
+30-24392 files not shown
+850-719398 files

OpenBSD/ports b52b037 — devel/simulavr/pkg PLIST, editors/emacs23/patches patch-src_m_mips64_h patch-src_m_mips64el_h

by jasper on ⎇
   Initial revision
VersionDeltaFile
1.1+2,406-0editors/emacs23/pkg/PLIST-main
1.1+1,301-0editors/emacs23/pkg/PLIST-el
1.1+222-0lang/onyx/pkg/PLIST
1.1+113-0editors/emacs23/patches/patch-src_m_mips64_h
1.1+113-0editors/emacs23/patches/patch-src_m_mips64el_h
1.1+107-0devel/simulavr/pkg/PLIST
+4,262-0125 files not shown
+6,186-0131 files

OpenBSD/ports fc6ca0d — math/prover9 Makefile Makefile.inc, math/prover9/p9m4/files prover9-mace4.sh

by jasper on ⎇🏷
   import Prover9, Mace4, and several related programs come packaged in a system
   called LADR (Library for Automated Deduction Research).

   split into ladr (prover9 mace4 tools) and p9m4 (gui to ladr)

   ok aja@
   and thanks to landry@/robert@ too for putting up with my ranting about this..
VersionDeltaFile
1.1.1.1+0-0math/prover9/p9m4/files/prover9-mace4.sh
1.1.1.1+0-0math/prover9/p9m4/patches/patch-p9m4_files_py
1.1.1.1+0-0math/prover9/p9m4/pkg/DESCR
1.1.1.1+0-0math/prover9/p9m4/pkg/PLIST
1.1.1.1+0-0math/prover9/Makefile
1.1.1.1+0-0math/prover9/Makefile.inc
+0-011 files not shown
+0-017 files