| non port: math/coq/Makefile |
|
SVNWeb
|
Number of commits found: 85 |
|
Sun, 23 Apr 2023
|
[ 09:09 Gerald Pfeifer (gerald)  ]    8d3e020 (Only the first 10 of 2091 ports in this commit are shown above.  )
*: Bump PORTREVISIONs for math/mpc update to 1.3.1
|
|
Tue, 11 Apr 2023
|
[ 15:43 Muhammad Moinur Rahman (bofh) ] 24e24a1 (Only the first 10 of 98 ports in this commit are shown above. )
*/tex*: Update version 20210325=>20230313
- devel/tex-kpathsea: Update version 6.3.3=>6.3.5
- print/texlive-tlmgr: Update version 20210325=>20230313
* Add LICENSE GPLv2
- devel/tex-libtexlua: Update distinfo from 20230313 dists
- devel/tex-libtexluajit: Update distinfo from 20230313 dists
- print/tex-ptexenc: Update version 1.3.9=>1.4.3
* Pet portclippy
- devel/tex-web2c: Update version 20210325=>20230313
- devel/tex-synctex: Update distinfo from 20230313 dists
- print/tex-basic-engines: Update version 20210325=>20230313
- print/texlive-base: Update version 20210325=>20230313
- print/texlive-docs: Update version 20210325=>20230313
- print/texlive-full: Update version 20210325=>20230313 (Only the first 15 lines of the commit message are shown above )
|
|
Thu, 2 Mar 2023
|
[ 05:23 Tobias C. Berner (tcberner) ] fa81a4f (Only the first 10 of 1168 ports in this commit are shown above. )
accessibility/at-spi2-core: update to 2.46.0
What's new in at-spi2-core 2.46.0:
* Fix GetInterfaces documentation on org.a11y.atspi.Accessible
interface.
What's new in at-spi2-core 2.45.91:
* Send device event controller events using the same signature as other
events.
* Document the Accessible, Action, and Cache dbus interfaces.
* Fix license of atspi-gmain.c (#87).
What's new in at-spi2-core 2.45.90:
* xml: Add some documentation.
* xml: Fix event arguments. (Only the first 15 lines of the commit message are shown above )
|
|
Mon, 19 Dec 2022
|
[ 14:44 Muhammad Moinur Rahman (bofh) ] 721e577 (Only the first 10 of 130 ports in this commit are shown above. )
Mk/**tex.mk: Convert bsd.tex.mk to USES=tex
- Update all the consumers to use USES=tex
- USE_TEX=yes is the old way of writing USES=tex which has been removed
and replaced in all ports
- Almost all of the USE_TEX features remains unchanged
- Some consumers had the same variables defined both in the mk
infrastructure and also in the ports which have been removed from the
ports as those are redundant.
In case any of the consumers are failing to build please make sure that
the nexessary USES=tex is there. Unlike previous USE_TEX=yes will no
longer load the required VARS for tex and related dependencies.
Reviewed by: portmgr
Approved by: portmgr (blanket)
|
|
Wed, 30 Nov 2022
|
[ 07:06 Yasuhiro Kimura (yasu) ] ea66012 (Only the first 10 of 101 ports in this commit are shown above. )
editors/emacs-devel: Update to 2022-11-28 snapshot
Bump PORTREVISION of consumers as EMACS_VER is changed to 30.0.50.
Changes: https://github.com/emacs-mirror/emacs/compare/51589f81...7939184f
|
|
Wed, 21 Sep 2022
|
[ 07:48 Yasuhiro Kimura (yasu) ] 164249e (Only the first 10 of 102 ports in this commit are shown above. )
editors/emacs: Update to 28.2
* Remove FCITXPATCH option as extra-patch-src_xfns.c can't be applied
since 28.1.
* Tidy up Makefile with portfmt.
* Bump PORTREVISION of consumers.
ChangeLog: https://www.gnu.org/software/emacs/news/NEWS.28.2
PR: 266454
Exp-run by: antoine
Reviewed by: ashish, jrm
Differential Revision: https://reviews.freebsd.org/D36613
|
|
Wed, 7 Sep 2022
|
[ 21:10 Stefan Eßer (se) ] b7f0544 (Only the first 10 of 27931 ports in this commit are shown above. )
Add WWW entries to port Makefiles
It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.
Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.
There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above )
|
|
Mon, 9 May 2022
|
[ 11:05 Alexey Dokuchaev (danfe) ] 1da2c6c
math/coq: add missing run-time dependency on `math/ocaml-num'
This was missed in commit 317aa0442c99 when Num library was split
off the core OCaml distribution.
PR: 263860
|
|
Wed, 27 Apr 2022
|
[ 13:22 Piotr Kubaj (pkubaj) ] 0ecc152
math/coq: enable on powerpc
|
|
Sat, 16 Apr 2022
|
[ 07:19 Alexey Dokuchaev (danfe) ] 317aa04 (Only the first 10 of 27 ports in this commit are shown above. )
OCaml: transient update of the stack to version 4.07.1
This is the first step in modernizing our OCaml ports infrastructure,
as we had accumulated substantial technical debt over the years when
many of its consumer ports had not received proper care and updates.
It is currently considered as the lowest supported version (baseline)
in majority of open-source OCaml projects, which would help to pull
up other ports, e.g. `devel/ocaml-dune' in smaller, manageable pieces.
For conservative hackers among us and for compatibility with RHEL 8
which is also on it, having 4.07 in the tree would allow users stick
to that package (pkg lock it) if needed.
PR: 250408, 262781
Exp-run by: antoine
|
|
Sun, 10 Apr 2022
|
[ 19:11 Charlie Li (vishwin) ] d63665f (Only the first 10 of 892 ports in this commit are shown above. )
textproc/libxml2: bump all LIB_DEPENDS consumers
This is a separate commit to facilitate easier cherry-picking for
quarterly.
PR: 262853, 262940, 262877, 263126
Approved by: fluffy (mentor)
|
[ 18:27 Alexey Dokuchaev (danfe) ] 4c90e1b
math/coq: force unsafe strings to unbreak against modern OCaml.
|
|
Thu, 7 Apr 2022
|
[ 22:12 Joseph Mingrone (jrm) ] d9dcd9c (Only the first 10 of 85 ports in this commit are shown above. )
Emacs ports: Bump PORTREVISION after Emacs 28.1
Reviewed by: ashish
Sponsored by: The FreeBSD Foundation
Differential Revision: https://reviews.freebsd.org/D34781
|
|
Sat, 26 Mar 2022
|
[ 08:27 Matthias Fechner (mfechner) ] 247c7db (Only the first 10 of 867 ports in this commit are shown above. )
textproc/libxml2: bump all dependencies
This should make sure that all dependent ports will pick
up the new version commited with a13ec21cd733f67a9fc0dc00ab45268bdc236246
|
|
Mon, 10 Jan 2022
|
[ 15:15 Stefan Eßer (se) ] bcaf25a (Only the first 10 of 491 ports in this commit are shown above. )
Fix CONFLICTS entries of multiple ports
There have been lots of missing CONFLICTS_INSTALL entries, either
because conflicting ports were added without updating existing ports,
due to name changes of generated packages, due to mis-understanding
the format and semantics of the conflicts entries, or just due to
typoes in package names.
This patch is the result of a comparison of all files contained in
the official packages with each other. This comparison was based on
packages built with default options and may therefore have missed
further conflicts with optionally installed files.
Where possible, version numbers in conflicts entries have been
generalized, some times taking advantage of the fact that a port (Only the first 15 lines of the commit message are shown above )
|
|
Mon, 15 Nov 2021
|
[ 15:19 Joseph Mingrone (jrm) ] 061afcc (Only the first 10 of 86 ports in this commit are shown above. )
USES=emacs: Chase package name changes
PR: 259259
Differential Revision: https://reviews.freebsd.org/D32613
|
|
Fri, 1 Oct 2021
|
[ 22:55 Joseph Mingrone (jrm) ] 126e3bb (Only the first 10 of 80 ports in this commit are shown above. )
*: Chase new major version (29) of editors/emacs-devel
Differential Revision: https://reviews.freebsd.org/D32258
|
|
Wed, 7 Apr 2021
|
[ 08:09 Mathieu Arnold (mat) ] cf118cc (Only the first 10 of 8873 ports in this commit are shown above. )
One more small cleanup, forgotten yesterday.
Reported by: lwhsu
|
|
Tue, 6 Apr 2021
|
[ 14:31 Mathieu Arnold (mat) ] 305f148 (Only the first 10 of 29333 ports in this commit are shown above. )
Remove # $FreeBSD$ from Makefiles.
|
|
Fri, 26 Mar 2021
|
[ 00:40 jrm ]   (Only the first 10 of 96 ports in this commit are shown above. )
editors/emacs: Update to 27.2
This is a bug-fix release with no new features.
https://www.gnu.org/software/emacs/news/NEWS.27.2
Reviewed by: ashish
Differential Revision: https://reviews.freebsd.org/D27700
|
|
Wed, 12 Aug 2020
|
[ 18:30 jrm ] (Only the first 10 of 86 ports in this commit are shown above. )
editors/emacs: Update to version 27.1
Please refer to the 20200811 UPDATING entry when upgrading
dependent (*-emacs26-*) ports.
Port changes:
- depend on math/gmp
- match upstream by turning CAIRO, HARFBUZZ, and JSON options and on and
turning MAGICK off by default
- remove OPENMP check for graphics/ImageMagick as the openmp is now
included in base
- update EMACS_VER in Mk/Uses/emacs.mk
- bump USES=emacs ports or remove BROKEN for net-im/jabber.el and
deskutils/howm, which now build
Submitted by: HIROSE Yuuji <yuuji@gentei.org> (canna patch)
Reviewed by: ashish
Differential Revision: https://reviews.freebsd.org/D23966
|
|
Tue, 7 Jan 2020
|
[ 04:55 jrm ] (Only the first 10 of 81 ports in this commit are shown above. )
editors/emacs-devel: Update to latest master branch commit, 4f2b415
This update includes an Emacs major version change from 27.0.50 to 28.0.50.
Ports that may depend on editors/emacs-devel must chase this update
with a PORTREVISION bump.
Submitted by: ashish (maintainer)
Differential Revision: https://reviews.freebsd.org/D23012
|
|
Fri, 8 Nov 2019
|
[ 14:11 tobik ] (Only the first 10 of 17 ports in this commit are shown above. )
math: Add missing USES={gl,gnome,php,sdl,xorg}
|
|
Thu, 31 May 2018
|
[ 01:18 jrm ] (Only the first 10 of 86 ports in this commit are shown above. )
USES=emacs ports: Bump PORTREVISION for editors/emacs 26.1 upgrade
Or, mark ports that fail to build as BROKEN.
https://lists.freebsd.org/pipermail/freebsd-ports/2018-May/113518.html
|
|
Thu, 1 Feb 2018
|
[ 18:03 jrm ] (Only the first 10 of 143 ports in this commit are shown above. )
Flavorize and modernize Emacs ports
- Convert USE_EMACS to USES=emacs
- Remove editors/emacs-nox11 (refer to nox flavors of editors/emacs and
editors/emacs-devel)
- Permit default Emacs flavor to be specified in make.conf
- Rename japanese/migemo-emacs23 to japanese/migemo-emacs
- Update and simplify audio/emms and fix build on FreeBSD 10 [1]
- Update databases/bbdd and fix build on FreeBSD 10 [1]
- Update editors/emacs-devel
- Ensure Makefile shell commands that change directory are executed in a
subshell
- Silence some portlint warnings
[1] By not depending on base texinfo
PR: 225404
Reviewed by: antoine
Approved by: portmgr (mat) ashish (maintainer)
Differential Revision: https://reviews.freebsd.org/D13506
|
|
Thu, 30 Nov 2017
|
[ 06:13 linimon ] (Only the first 10 of 189 ports in this commit are shown above. )
For ports that are marked BROKEN on armv6, and also fail to build on
armv7, mark them so.
This is part two of a multipart commit to bring armv7 ports to parity
with armv6.
Approved by: portmgr (tier-2 blanket)
Obtained from: lonesome.com -exp run
|
|
Tue, 12 Sep 2017
|
[ 15:38 ashish ] (Only the first 10 of 78 ports in this commit are shown above. )
Chase Emacs update
|
|
Sat, 27 May 2017
|
[ 00:20 linimon ] (Only the first 10 of 29 ports in this commit are shown above. )
Mark some ports failing on armv6, for errors classified as "???",
part 2.
While here, pet portlint.
Approved by: portmgr (tier-2 blanket)
|
|
Sat, 31 Dec 2016
|
[ 23:05 hrs ]
Update to 8.6. Fix PORTEPOCH accidentally removed in the previous commit.
|
[ 14:32 hrs ]
Update to 8.5.
|
[ 09:00 hrs ]
- Add missing dependencies.
- Strip installed binaries.
|
|
Wed, 14 Dec 2016
|
[ 21:48 johans ] (Only the first 10 of 38 ports in this commit are shown above. )
Stepping down as maintainer for some ports.
|
|
Sat, 19 Nov 2016
|
[ 11:39 danfe ]
- Move license information from port description into LICENSE knobs
- Convert $arch-conditional BROKEN statement into BROKEN_$arch one
|
|
Mon, 23 May 2016
|
[ 20:35 amdmi3 ] (Only the first 10 of 217 ports in this commit are shown above. )
Remove NLS, DOCS, EXAMPLES and IPV6 from OPTIONS_DEFAULT, they are enabled by
default anyway and don't need to be listed
Approved by: portmgr blanket
|
|
Fri, 1 Apr 2016
|
[ 14:16 mat ] (Only the first 10 of 2612 ports in this commit are shown above. )
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.
With hat: portmgr
Sponsored by: Absolight
|
|
Sat, 23 May 2015
|
[ 10:06 johans ]
Update Coq to 8.4pl6
PR: 200409
Submitted by: yuri@rawbw.com
|
|
Mon, 4 May 2015
|
[ 15:46 madpilot ] (Only the first 10 of 35 ports in this commit are shown above. )
- Add USE_OCAML_CAMLP4 and USE_OCAML_TK to bsd.ocaml.mk which add
depends on the camlp4 language and labltk ocaml modules, which are
now in separate ports.
- Update x11-toolkits/ocaml-lablgtk2 to 2.18.3
- Update graphics/ocaml-lablgl to 1.05
- Make unison ports use USE_OCAML
- Convert ports to the new flags where needed
- Bump PORTREVISION on ports depending on ocaml-lablgtk2, those need to be
rebuilt
PR: 199845
Submitted by: jbeich@
Differential Revision: https://reviews.freebsd.org/D2434
Approved by: portmgr (mat)
|
|
Mon, 22 Dec 2014
|
[ 10:45 johans ]
Update to Coq 8.4pl5
|
|
Wed, 10 Sep 2014
|
[ 20:50 gerald ] (Only the first 10 of 3171 ports in this commit are shown above. )
Update the default version of GCC in the Ports Collection from GCC 4.7.4
to GCC 4.8.3.
Part II, Bump PORTREVISIONs.
PR: 192025
Tested by: antoine (-exp runs)
Approved by: portmgr (implicit)
|
|
Wed, 3 Sep 2014
|
[ 16:54 antoine ]
Fix packaging
|
|
Wed, 23 Jul 2014
|
[ 13:04 bapt ]
Switch to texlive
|
|
Tue, 1 Jul 2014
|
[ 07:04 eadler ]
multiple: avoid RUN_DEPENDS=${BUILD_DEPENDS} anti-pattern
The ports infrastructure may insert additional content into the
BUILD_DEPENDS variable which is not supposed to be a run depend.
Approved by: portmgr (bapt)
|
|
Sat, 11 Jan 2014
|
[ 09:31 johans ]
- Update coq to 8.4.3
- Enable stage support
- Simplify options handling
|
|
Fri, 20 Sep 2013
|
[ 20:55 bapt ] (Only the first 10 of 665 ports in this commit are shown above. )
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
|
|
Thu, 13 Jun 2013
|
[ 10:57 johans ]
- Add build dependency due to tex changes
PR: ports/179372
Submitted by: John Marino <draco@marino.st>
|
|
Sat, 11 May 2013
|
[ 17:58 hrs ] (Only the first 10 of 152 ports in this commit are shown above. )
Rectify USE_TEX to support both of teTeX and TeXLive.
TEX_DEFAULT:
A knob to choose teTeX or TeXLive. One can specify in /etc/make.conf.
USE_TEX:
A knob for port developers. Valid keywords are listed in
bsd.tex.mk.
|
|
Mon, 6 May 2013
|
[ 02:00 hrs ] (Only the first 10 of 150 ports in this commit are shown above. )
Remove *_DEPENDS from ports which depend on teTeX and add USE_TEX=tetex
instead to make migration to TeXLive easier.
|
|
Tue, 30 Apr 2013
|
[ 14:50 johans ]
Update coq to 8.4.2
|
|
Tue, 5 Mar 2013
|
[ 20:22 bf ] (Only the first 10 of 19 ports in this commit are shown above. )
update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjust
dependent ports
PR: 144982, 149958
Reviewed by: johans (earlier version of the patch)
|
|
Sun, 17 Feb 2013
|
[ 10:43 johans ]
- Update coq to 8.4 pl1 [1]
http://coq.inria.fr/coq-84
- Remove local patch that is now included upstream
- Add ocaml-findlib as build dependency
PR: ports/176056
Submitted by: Jaap Boender <jaapb@kerguelen.org>
|
|
Thu, 28 Jun 2012
|
[ 16:12 johans ]
Convert to new options framework
|
|
Fri, 1 Jun 2012
|
[ 05:26 dinoex ] (Only the first 10 of 4371 ports in this commit are shown above. )
- update png to 1.5.10
|
|
Sun, 25 Mar 2012
|
[ 09:21 johans ]
- Update coq to 8.3.3
- Fix build with new camlp5 (patch from official repo)
- Remove BROKEN tag
Feature safe: yes
|
|
Wed, 14 Mar 2012
|
[ 20:11 pav ]
- Mark BROKEN: does not compile
OCAMLC pretyping/pretype_errors.mli
OCAMLOPT pretyping/pretype_errors.ml
File "pretyping/pretype_errors.ml", line 48, characters 4-109:
Error: Unbound constructor Stdpp.Exc_located
gmake[1]: *** [pretyping/pretype_errors.cmx] Error 2
Reported by: pointyhat
Feature safe: yes
|
|
Fri, 11 Nov 2011
|
[ 02:53 linimon ]
Mark as broken on powerpc: fails to link.
Hat: portmgr
Feature safe: yes
|
|
Mon, 2 May 2011
|
[ 12:44 makc ] (Only the first 10 of 195 ports in this commit are shown above. )
Bump PORTREVISION after open-mofit update
|
|
Mon, 25 Apr 2011
|
[ 17:48 johans ]
Update coq to 8.3.2
|
|
Mon, 18 Apr 2011
|
[ 17:19 johans ]
Correct PORTVERSION: pl (patch level) releases follow a main release
Reported by: erwin
|
|
Sat, 12 Feb 2011
|
[ 12:30 johans ]
- Update coq to 8.3pl1
- Remove obsoleted patch (fixed in dist)
|
|
Fri, 10 Dec 2010
|
[ 17:23 johans ]
Fix build with new ocaml preprocessor (patch from upstream)
Reported by: pointyhat via pav
|
|
Tue, 9 Nov 2010
|
[ 07:09 johans ]
- Update coq to 8.3
- Add a patch to fix threading issues
Submitted by: AUGER Cedric <Cedric.Auger@lri.fr>
|
|
Fri, 25 Jun 2010
|
[ 06:53 johans ]
- Update to version 8.2pl1
- Bump EPOCH due to different versioning style
- Build and install documentation
PR: ports/148034
Submitted by: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
Feature safe: yes
|
|
Sun, 28 Mar 2010
|
[ 06:47 dinoex ] (Only the first 10 of 4470 ports in this commit are shown above. )
- update to 1.4.1
Reviewed by: exp8 run on pointyhat
Supported by: miwi
|
|
Tue, 23 Feb 2010
|
[ 18:06 johans ] (Only the first 10 of 27 ports in this commit are shown above. )
Update my mail address to @FreeBSD.org
Feature safe: yes
|
|
Fri, 5 Feb 2010
|
[ 11:46 dinoex ] (Only the first 10 of 4271 ports in this commit are shown above. )
- update to jpeg-8
|
|
Fri, 31 Jul 2009
|
[ 13:57 dinoex ] (Only the first 10 of 3009 ports in this commit are shown above. )
- bump all port that indirectly depends on libjpeg and have not yet been bumped
or updated
Requested by: edwin
|
|
Mon, 16 Mar 2009
|
[ 07:38 johans ]
Update to 8.2.1
|
|
Fri, 6 Jun 2008
|
[ 13:44 edwin ] (Only the first 10 of 76 ports in this commit are shown above. )
Bump portrevision due to upgrade of devel/gettext.
The affected ports are the ones with gettext as a run-dependency
according to ports/INDEX-7 (5007 of them) and the ones with USE_GETTEXT
in Makefile (29 of them).
PR: ports/124340
Submitted by: edwin@
Approved by: portmgr (pav)
|
|
Wed, 16 Apr 2008
|
[ 22:10 johans ]
- Due to depency updates, camlp5 (fresh port) is now required as well:
Include this dependency and bump portrevision
|
|
Sun, 6 Apr 2008
|
[ 17:40 johans ]
- Update to 8.1pl3
- Take advantage of USE_OCAML
- Update MASTER_SITES
|
|
Mon, 30 Jul 2007
|
[ 07:36 johans ]
Update to 8.1.1 (bugfix release)
|
|
Sat, 19 May 2007
|
[ 20:32 flz ] (Only the first 10 of 7868 ports in this commit are shown above. )
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.
|
|
Sun, 25 Mar 2007
|
[ 18:44 johans ]
- Update to 8.1
- Grab maintainership
- Remove FreeBSD-specific workaround that shouldn't be needed anymore
|
|
Thu, 16 Mar 2006
|
[ 15:31 pav ]
- Update to 8.0pl3
PR: ports/93954
Submitted by: Johan van Selst <johans@stack.nl>
|
|
Mon, 6 Mar 2006
|
[ 20:30 kris ]
BROKEN: Does not build
Approved by: portmgr (implicit)
|
|
Wed, 7 Dec 2005
|
[ 15:59 vs ]
Unbreak: Add vendor-patch for ocaml 3.09
|
|
Mon, 5 Dec 2005
|
[ 09:49 vs ]
Bump PORTREVISION to regenerate the package with the newly enabled IDE on the
cluster
Suggested by: kris
|
[ 09:16 vs ]
Enable IDE by default.
|
|
Sat, 29 Oct 2005
|
[ 20:14 mnag ]
Drop MAINTAINER
PR: 88197
Submitted by: Rene Ladan <r.c.ladan@student.tue.nl> (maintainer)
|
|
Wed, 2 Feb 2005
|
[ 11:34 vs ]
Update to 8.0p2
PR: ports/76977
Submitted by: Rene Laden (maintainer)
|
|
Tue, 18 Jan 2005
|
[ 16:44 vs ]
Fix packaging
PR: ports/75787
Submitted by: maintainer
|
|
Mon, 20 Dec 2004
|
[ 21:37 sem ]
- Unbreak on amd64
(Johan van Selst succesfully ran the test-suite
on an amd64 running 6-CURRENT and ocaml-3.08.2)
PR: ports/75334
Submitted by: maintainer
|
|
Mon, 29 Nov 2004
|
[ 09:34 tobez ]
Mark broken on ia64 and amd64.
PR: 74502
Submitted by: maintainer
|
|
Mon, 8 Nov 2004
|
[ 21:57 pav ]
- Add optional CoqIde support (depends on lablgtk2)
- Correct PORTVERSION to match actual source version
- Cosmetics
PR: ports/73634
Submitted by: Rene Ladan <r.c.ladan@student.tue.nl> (maintainer)
|
|
Sat, 16 Oct 2004
|
[ 00:55 pav ]
Add coq, a formal proof management system: a proof done with Coq is
mechanically checked by the machine.
In particular, Coq allows:
* the definition of functions or predicates,
* to state mathematical theorems and software specifications,
* to develop interactively formal proofs of these theorems,
* to check these proofs by a small certification "kernel".
PR: ports/72718
Submitted by: Rene Ladan <r.c.ladan@student.tue.nl>
|
Number of commits found: 85 |
As an Amazon Associate I earn from qualifying purchases.