| CARVIEW |
Select Language
HTTP/2 200
expires: Thu, 19 Nov 1981 08:52:00 GMT
cache-control: no-store, no-cache, must-revalidate
pragma: no-cache
set-cookie: PHPSESSID=gcbt5u9r1rs4k0v3p3p4gtmfeq; path=/
content-type: text/html; charset=UTF-8
date: Sat, 27 Dec 2025 04:27:19 GMT
server: Apache
pkgsrc.se | The NetBSD package collection
archivers
audio
benchmarks
biology
cad
chat
comms
converters
cross
crosspkgtools
databases
devel
doc
editors
emulators
filesystems
finance
fonts
games
geography
graphics
ham
inputmethod
lang
mail
math
gappa
mbone
meta-pkgs
misc
multimedia
net
news
parallel
pkgtools
print
regress
security
shells
sysutils
textproc
time
wip
wm
www
x11
* = Virtual Category
Path to this page:
./math/gappa, Formal verification tool for numerical programs
[
Branch: CURRENT, Version: 1.3.5nb1, Package name: gappa-1.3.5nb1, Maintainer: pkgsrc-users
Gappa is a tool intended to help verifying and formally proving
properties on numerical programs dealing with floating-point or
fixed-point arithmetic.
Required to run:
[math/mpfr] [devel/gmp]
Required to build:
[devel/boost-headers] [pkgtools/cwrappers]
Navigation:
-
Browse pkgsrc
(this page)
archivers
audio
benchmarks
biology
cad
chat
comms
converters
cross
crosspkgtools
databases
devel
doc
editors
emulators
filesystems
finance
fonts
games
geography
graphics
ham
inputmethod
lang
math gappambone
meta-pkgs
misc
multimedia
net
news
parallel
pkgtools
regress
security
shells
sysutils
textproc
time
wip
wm
www
x11
* = Virtual Category
New packages:Path to this page:
./math/gappa, Formal verification tool for numerical programs
[ 
CVSweb ] [ 
Homepage ] [ 
RSS ] [ 
Required by ] [ 
Add to tracker ]
Branch: CURRENT, Version: 1.3.5nb1, Package name: gappa-1.3.5nb1, Maintainer: pkgsrc-users
Gappa is a tool intended to help verifying and formally proving
properties on numerical programs dealing with floating-point or
fixed-point arithmetic.
Required to run:
[math/mpfr] [devel/gmp]
Required to build:
[devel/boost-headers] [pkgtools/cwrappers]
Master sites:
Filesize: 402.858 KBVersion history: (Expand)
- (2025-10-24) Package has been reborn
- (2025-10-24) Package deleted from pkgsrc
- (2025-09-27) Updated to version: gappa-1.3.5nb1
- (2025-07-15) Package has been reborn
- (2025-07-15) Package deleted from pkgsrc
- (2020-05-20) Package added to pkgsrc.se, version gappa-1.3.5 (created)
CVS history: (Expand)
| 2025-09-27 11:57:41 by Thomas Klausner | Files touched by this commit (337) |
Log message: *: recursive bump for boost 1.89 |
| 2023-09-01 12:17:26 by Nia Alarie | Files touched by this commit (1) |
Log message: gappa: Assumes compiler defaults to C++11. |
| 2021-10-26 12:56:13 by Nia Alarie | Files touched by this commit (458) |
Log message: math: Replace RMD160 checksums with BLAKE2s checksums All checksums have been double-checked against existing RMD160 and SHA512 hashes |
| 2021-10-07 16:28:36 by Nia Alarie | Files touched by this commit (458) |
Log message: math: Remove SHA1 hashes for distfiles |
| 2020-07-17 19:30:14 by Taylor R Campbell | Files touched by this commit (6) |
Log message: math/gappa, math/sollya: Cite upstreamed patches. |
| 2020-05-24 00:59:31 by Taylor R Campbell | Files touched by this commit (1) |
Log message: Fix patchsum. |
| 2020-05-19 23:42:29 by Taylor R Campbell | Files touched by this commit (5) |
Log message: gappa: Import gappa-1.3.5 as math-gappa Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic. |