Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

why-jessie-2.41-6.fc31 RPM for aarch64

From Fedora 31 for aarch64 / w

Name: why-jessie Distribution: Fedora Project
Version: 2.41 Vendor: Fedora Project
Release: 6.fc31 Build date: Mon Sep 23 19:18:16 2019
Group: Unspecified Build host: buildvm-aarch64-16.arm.fedoraproject.org
Size: 21466592 Source RPM: why-2.41-6.fc31.src.rpm
Packager: Fedora Project
Url: http://why.lri.fr/
Summary: Interface between why and frama-c
The Jessie plugin, an interface between why and frama-c.  Invoke it with:
  frama-c -jessie FILE.c

Provides

Requires

License

LGPLv2 with exceptions

Changelog

* Mon Sep 23 2019 Jerry James <loganjerry@gmail.com> - 2.41-6
  - Rebuild for frama-c 19.1
* Fri Sep 06 2019 Jerry James <loganjerry@gmail.com> - 2.41-5
  - Rebuild for ocaml-zarith 1.9
* Fri Aug 02 2019 Jerry James <loganjerry@gmail.com> - 2.41-4
  - Rebuild for frama-c 19.0
* Sat Jul 27 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.41-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Wed Jun 05 2019 Jerry James <loganjerry@gmail.com> - 2.41-3
  - Rebuild for coq 8.9.1, why3 1.2.0, and frama-c 18.0
* Sun Feb 03 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.41-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Sat Jan 26 2019 Jerry James <loganjerry@gmail.com> - 2.41-1
  - New upstream release
  - All patches have been upstreamed; drop them all
* Sat Jul 14 2018 Fedora Release Engineering <releng@fedoraproject.org> - 2.40-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Mon Feb 12 2018 Jerry James <loganjerry@gmail.com> - 2.40-1
  - New upstream release
  - Add -num patch to fix incomplete num to zarith conversion
* Fri Feb 09 2018 Fedora Release Engineering <releng@fedoraproject.org> - 2.39-5
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
* Thu Jan 18 2018 Igor Gnatenko <ignatenkobrain@fedoraproject.org> - 2.39-4
  - Remove obsolete scriptlets
* Sat Dec 09 2017 Jerry James <loganjerry@gmail.com> - 2.39-3
  - Bring back the -project patch, still needed (bz 1520483)
  - Add the -safe-string patch for building with ocaml 4.06.0
  - Build the Jessie plugin with -runtime-variant _pic
* Sat Dec 02 2017 Richard W.M. Jones <rjones@redhat.com> - 2.39-3
  - OCaml 4.06.0 rebuild.
* Sat Oct 07 2017 Jerry James <loganjerry@gmail.com> - 2.39-2
  - Rebuild for why3 0.88.0

Files

/usr/bin/jessie
/usr/lib/.build-id
/usr/lib/.build-id/97
/usr/lib/.build-id/97/9e36c86cb518ec1b9f27973a147509dafa7e7c
/usr/lib/.build-id/fb
/usr/lib/.build-id/fb/957b8f64a2268415a76f8b92f8727f67eb2bcc
/usr/lib64/frama-c/plugins/Jessie.cmi
/usr/lib64/frama-c/plugins/META.frama-c-jessie
/usr/lib64/frama-c/plugins/top/Jessie.cma
/usr/lib64/frama-c/plugins/top/Jessie.cmo
/usr/lib64/frama-c/plugins/top/Jessie.cmx
/usr/lib64/frama-c/plugins/top/Jessie.cmxs
/usr/share/appdata/jessie.appdata.xml
/usr/share/applications/jessie.desktop


Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Mar 10 11:17:24 2020