FreeBSD Bugzilla – Attachment 252885 Details for
Bug 279337
math/alt-ergo: missing dependency on ocaml-zarith
Home
|
New
|
Browse
|
Search
|
[?]
|
Reports
|
Help
|
New Account
|
Log In
Remember
[x]
|
Forgot Password
Login:
[x]
[patch]
0003-bump-port-revision-after-ocaml-ppxlib-and-ocaml-yojs.patch
0003-bump-port-revision-after-ocaml-ppxlib-and-ocaml-yojs.patch (text/plain), 4.22 KB, created by
Benjamin Jacobs
on 2024-08-18 15:17:30 UTC
(
hide
)
Description:
0003-bump-port-revision-after-ocaml-ppxlib-and-ocaml-yojs.patch
Filename:
MIME Type:
Creator:
Benjamin Jacobs
Created:
2024-08-18 15:17:30 UTC
Size:
4.22 KB
patch
obsolete
>From 0ea46f6db12e28fb372f54b77a209a7528e898aa Mon Sep 17 00:00:00 2001 >From: Benjamin Jacobs <freebsd@dev.thsi.be> >Date: Sun, 18 Aug 2024 14:54:32 +0000 >Subject: [PATCH 3/3] */*: bump port revision after ocaml-ppxlib and > ocaml-yojson update > >--- > converters/ocaml-base64/Makefile | 1 + > devel/ocaml-bos/Makefile | 2 +- > devel/ocaml-camlp5/Makefile | 2 +- > devel/ocaml-cstruct/Makefile | 1 + > devel/ocaml-ipaddr/Makefile | 1 + > devel/ocaml-logs/Makefile | 2 +- > devel/ocaml-lwt/Makefile | 1 + > devel/ocaml-ppx_sexp_conv/Makefile | 1 + > ftp/ocaml-ocurl/Makefile | 2 +- > math/abella/Makefile | 1 + > security/ocaml-lwt_ssl/Makefile | 1 + > 11 files changed, 11 insertions(+), 4 deletions(-) > >diff --git a/converters/ocaml-base64/Makefile b/converters/ocaml-base64/Makefile >index b3805c8efe40..2d1cb06b4a6a 100644 >--- a/converters/ocaml-base64/Makefile >+++ b/converters/ocaml-base64/Makefile >@@ -1,6 +1,7 @@ > PORTNAME= base64 > PORTVERSION= 3.5.1 > DISTVERSIONPREFIX= v >+PORTREVISION= 1 > CATEGORIES= converters > PKGNAMEPREFIX= ocaml- > >diff --git a/devel/ocaml-bos/Makefile b/devel/ocaml-bos/Makefile >index 3caa24a626f6..85972ffcfbf9 100644 >--- a/devel/ocaml-bos/Makefile >+++ b/devel/ocaml-bos/Makefile >@@ -1,6 +1,6 @@ > PORTNAME= bos > PORTVERSION= 0.2.1 >-PORTREVISION= 1 >+PORTREVISION= 2 > CATEGORIES= devel > MASTER_SITES= https://erratique.ch/software/bos/releases/ > PKGNAMEPREFIX= ocaml- >diff --git a/devel/ocaml-camlp5/Makefile b/devel/ocaml-camlp5/Makefile >index 44289467f8c2..68efa32b46d2 100644 >--- a/devel/ocaml-camlp5/Makefile >+++ b/devel/ocaml-camlp5/Makefile >@@ -1,6 +1,6 @@ > PORTNAME= camlp5 > PORTVERSION= 8.02.01 >-PORTREVISION= 1 >+PORTREVISION= 2 > CATEGORIES= devel > PKGNAMEPREFIX= ocaml- > >diff --git a/devel/ocaml-cstruct/Makefile b/devel/ocaml-cstruct/Makefile >index 753afd397598..8c0dd1d3167e 100644 >--- a/devel/ocaml-cstruct/Makefile >+++ b/devel/ocaml-cstruct/Makefile >@@ -1,6 +1,7 @@ > PORTNAME= cstruct > DISTVERSIONPREFIX= v > DISTVERSION= 6.2.0 >+PORTREVISION= 1 > CATEGORIES= devel > PKGNAMEPREFIX= ocaml- > >diff --git a/devel/ocaml-ipaddr/Makefile b/devel/ocaml-ipaddr/Makefile >index e06316bfa248..faab66a8a224 100644 >--- a/devel/ocaml-ipaddr/Makefile >+++ b/devel/ocaml-ipaddr/Makefile >@@ -1,6 +1,7 @@ > PORTNAME= ipaddr > PORTVERSION= 5.6.0 > DISTVERSIONPREFIX= v >+PORTREVISION= 1 > CATEGORIES= devel > PKGNAMEPREFIX= ocaml- > >diff --git a/devel/ocaml-logs/Makefile b/devel/ocaml-logs/Makefile >index c0f1b18cb582..4923c37a1b8d 100644 >--- a/devel/ocaml-logs/Makefile >+++ b/devel/ocaml-logs/Makefile >@@ -1,6 +1,6 @@ > PORTNAME= logs > PORTVERSION= 0.7.0 >-PORTREVISION= 1 >+PORTREVISION= 2 > CATEGORIES= devel > MASTER_SITES= https://erratique.ch/software/logs/releases/ > PKGNAMEPREFIX= ocaml- >diff --git a/devel/ocaml-lwt/Makefile b/devel/ocaml-lwt/Makefile >index 06e1332b6480..a5a6164fd063 100644 >--- a/devel/ocaml-lwt/Makefile >+++ b/devel/ocaml-lwt/Makefile >@@ -1,5 +1,6 @@ > PORTNAME= lwt > PORTVERSION= 5.7.0 >+PORTREVISION= 1 > CATEGORIES= devel > PKGNAMEPREFIX= ocaml- > >diff --git a/devel/ocaml-ppx_sexp_conv/Makefile b/devel/ocaml-ppx_sexp_conv/Makefile >index 2d2fd6a23733..7d6b2226fda0 100644 >--- a/devel/ocaml-ppx_sexp_conv/Makefile >+++ b/devel/ocaml-ppx_sexp_conv/Makefile >@@ -1,6 +1,7 @@ > PORTNAME= ppx_sexp_conv > DISTVERSIONPREFIX= v > DISTVERSION= 0.16.0 >+PORTREVISION= 1 > CATEGORIES= devel > PKGNAMEPREFIX= ocaml- > >diff --git a/ftp/ocaml-ocurl/Makefile b/ftp/ocaml-ocurl/Makefile >index d55852e15cbe..96ca28418f85 100644 >--- a/ftp/ocaml-ocurl/Makefile >+++ b/ftp/ocaml-ocurl/Makefile >@@ -1,6 +1,6 @@ > PORTNAME= ocurl > PORTVERSION= 0.9.2 >-PORTREVISION= 3 >+PORTREVISION= 4 > CATEGORIES= ftp > PKGNAMEPREFIX= ocaml- > >diff --git a/math/abella/Makefile b/math/abella/Makefile >index 7be6b53ec622..41485db94928 100644 >--- a/math/abella/Makefile >+++ b/math/abella/Makefile >@@ -1,5 +1,6 @@ > PORTNAME= abella > DISTVERSION= 2.0.8 >+PORTREVISION= 1 > CATEGORIES= math > MASTER_SITES= http://abella-prover.org/distributions/ > >diff --git a/security/ocaml-lwt_ssl/Makefile b/security/ocaml-lwt_ssl/Makefile >index 455d3a8aacb8..57a260df3045 100644 >--- a/security/ocaml-lwt_ssl/Makefile >+++ b/security/ocaml-lwt_ssl/Makefile >@@ -1,5 +1,6 @@ > PORTNAME= lwt_ssl > PORTVERSION= 1.2.0 >+PORTREVISION= 1 > CATEGORIES= security > PKGNAMEPREFIX= ocaml- > >-- >2.43.0 >
You cannot view the attachment while viewing its details because your browser does not support IFRAMEs.
View the attachment on a separate page
.
View Attachment As Diff
View Attachment As Raw
Actions:
View
|
Diff
Attachments on
bug 279337
:
251000
|
252883
|
252884
| 252885