notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)

Why was the website so slow for so long?

The cause of the slowdown was a change to the ZFS dataset. In conjunction with the database server, very little caching was being done. This combination resulted in increased disk I/O as the system churned through the database. Details in the blog post which outlines the various things which changed. Many graphs.

Port details
vampire Automatic theorem prover
4.4 math on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port 4.4Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2019-08-29 05:31:04
Last Update: 2019-09-17 20:21:45
SVN Revision: 512232
License: BSD2CLAUSE
Description:
SVNWeb : Homepage
pkg-plist: as obtained via: make generate-plist
Expand this list (4 items)
  1. bin/vampire
  2. /usr/local/share/licenses/vampire-4.4/catalog.mk
  3. /usr/local/share/licenses/vampire-4.4/LICENSE
  4. /usr/local/share/licenses/vampire-4.4/BSD2CLAUSE
Collapse this list.
Dependency lines:
  • vampire>0:math/vampire
To install the port: cd /usr/ports/math/vampire/ && make install clean
To add the package: pkg install vampire
PKGNAME: vampire
Flavors: there is no flavor information for this port.
distinfo:

Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. gmake : devel/gmake
There are no ports dependent upon this port

Configuration Options

USES:

Master Sites:
  1. https://codeload.github.com/vprover/vampire/tar.gz/4.4?dummy=/

Number of commits found: 5

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
17 Sep 2019 19:21:45
Original commit files touched by this commit  4.4
Revision:512232
tobik search for other commits by this committer
Fix some misspelled or duplicated LICENSE_*
02 Sep 2019 06:02:54
Original commit files touched by this commit  4.4
Revision:510760
yuri search for other commits by this committer
math/vampire: Hook to the build
02 Sep 2019 05:39:49
Original commit files touched by this commit  4.4
Revision:510757
antoine search for other commits by this committer
Remove unhooked port
01 Sep 2019 21:38:30
Original commit files touched by this commit  4.4
Revision:510745
linimon search for other commits by this committer
Fix build on GCC-based systems by adding compiler:c++11-lang to
USES:

  cc1plus: error: unrecognized command line option "-Wno-terminate"
  cc1plus: error: unrecognized command line option "-std=c++11"
29 Aug 2019 05:30:57
Original commit files touched by this commit  4.4
Revision:510141
yuri search for other commits by this committer
New port: math/vampire: Automatic theorem prover

Number of commits found: 5

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
The latest upgrade!
Privacy
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
opensmtpd*Feb 27
mbedtlsFeb 24
mbedtlsFeb 24
opensmtpdFeb 24
opensmtpdFeb 24
weechatFeb 21
webkit2-gtk3Feb 19
dovecotFeb 13
gitlab-ceFeb 13
grub2-bhyveFeb 12
libexifFeb 11
linux-flashplayerFeb 11
nginxFeb 09
nginx-develFeb 09
ksh93Feb 07

9 vulnerabilities affecting 34 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2020-02-27 10:24:08


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 38466
Broken 645
Deprecated 418
Ignore 916
Forbidden 3
Restricted 150
No CDROM 72
Vulnerable 23
Expired 3
Set to expire 390
Interactive 0
new 24 hours 3
new 48 hours26
new 7 days48
new fortnight72
new month326

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2020 Dan Langille. All rights reserved.