rpms/why
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Commit graph

  • a56ffa1af1 Rebuild for fixed frama-c. f31 Jerry James 2020-04-10 16:03:50 -06:00
  • a8d84c45d4 Abandoned by upstream and fails to build from source rawhide main Jerry James 2020-03-30 08:51:13 -06:00
  • f459c5f17d Abandoned by upstream and fails to build from source f32 Jerry James 2020-03-30 08:50:55 -06:00
  • 4ea920bebe - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild Fedora Release Engineering 2020-01-31 03:41:17 +00:00
  • 4d6840f782 Fix building with OCaml 4.10. Jerry James 2020-01-23 21:25:20 -07:00
  • a55ef6338d Rebuild for apron 0.9.12. Jerry James 2020-01-23 16:07:50 -07:00
  • 219f4f021b OCaml 4.09.0 (final) rebuild. Jerry James 2019-12-09 14:20:20 -07:00
  • ee09cbc085 Rebuild for why3 1.2.1. Jerry James 2019-10-29 08:25:14 -06:00
  • 81014a5a53 Rebuild for ocaml-mlgmpidl 1.2.11. Jerry James 2019-10-11 09:02:30 -06:00
  • 2ff5e9754d Rebuild for frama-c 19.1. Jerry James 2019-09-23 09:16:09 -06:00
  • d626ea5898 Fix egregious date typo in the changelog. Jerry James 2019-09-06 12:04:30 -06:00
  • d4041358df Rebuild for ocaml-zarith 1.9. Jerry James 2019-09-06 12:02:05 -06:00
  • 6aa1f91c4b Rebuild for frama-c 19.0. Jerry James 2019-08-02 13:18:07 -06:00
  • 01dc32708f - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild Fedora Release Engineering 2019-07-27 03:27:05 +00:00
  • 26b175fd32 Rebuild for coq 8.9.1, why3 1.2.0, and frama-c 18.0. Jerry James 2019-06-05 20:08:47 -06:00
  • 1341b9c9ef - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild f30 Fedora Release Engineering 2019-02-03 11:41:51 +00:00
  • 6472c2a08f Welcome to 2019, Jerry. Jerry James 2019-01-26 08:20:53 -07:00
  • e3863b543f New upstream release. All patches have been upstreamed; drop them all. Jerry James 2019-01-26 08:19:32 -07:00
  • 818c9b944e - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild f29 Fedora Release Engineering 2018-07-14 08:49:51 +00:00
  • 88002a4073 New upstream release. Add -num patch to fix incomplete num to zarith conversion. f28 Jerry James 2018-02-12 20:20:06 -07:00
  • 88eb8b7a51 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild Fedora Release Engineering 2018-02-09 20:55:21 +00:00
  • d328121299 Remove obsolete scriptlets Igor Gnatenko 2018-01-18 22:48:54 +01:00
  • bea49ec67a Bring back the -project patch, still needed (bz 1520483). f26 Jerry James 2017-12-11 21:23:13 -07:00
  • c7cd340a99 Bring back the -project patch, still needed (bz 1520483). f27 Jerry James 2017-12-11 21:03:53 -07:00
  • bfd7fd56a1 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. Jerry James 2017-12-09 16:07:42 -07:00
  • 9a8305d6c0 OCaml 4.06.0 rebuild. Richard W.M. Jones 2017-12-02 11:22:50 +00:00
  • 40a810c1c7 Merge branch 'master' into f27 Jerry James 2017-10-07 22:00:30 -06:00
  • 84ade9ed59 Rebuild for why3 0.88.0. Jerry James 2017-10-07 20:01:20 -06:00
  • b0921e1ae7 Merge after someone committed to the f27 branch but not master Jerry James 2017-09-20 19:27:56 -06:00
  • 19cbe099ea New upstream release. Jerry James 2017-09-20 18:23:26 -06:00
  • 96ed6c8a3d Update to 2.39. Richard W.M. Jones 2017-09-06 19:58:25 +01:00
  • 502e32209c OCaml 4.05.0 rebuild. Richard W.M. Jones 2017-09-06 19:30:58 +01:00
  • 62b51ec56f - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild Fedora Release Engineering 2017-08-03 10:16:01 +00:00
  • 6d7c5cec99 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild Fedora Release Engineering 2017-07-27 21:35:53 +00:00
  • b38be9d05d Rebuild for OCaml 4.04.2. Richard W.M. Jones 2017-07-01 22:55:03 +01:00
  • e4380d336b Rebuild for OCaml 4.04.1. Richard W.M. Jones 2017-05-15 12:31:56 +01:00
  • 8bf5f8b711 New upstream release. f25 Jerry James 2017-03-24 14:48:48 -06:00
  • 6ca41f2515 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild Fedora Release Engineering 2017-02-11 17:22:09 +00:00
  • 9e92a04c75 New upstream release. Jerry James 2017-01-12 22:02:20 -07:00
  • 789026e7d9 Rebuild for gappalib-coq 1.3.2. Jerry James 2016-12-01 12:02:46 -07:00
  • d0e6b47f16 - Modify configure script to allow building with OCaml 4.04. - Modify configure script to use octMPQ library (part of Apron). Richard W.M. Jones 2016-11-08 15:35:14 +00:00
  • fd1a59230a Rebuild for OCaml 4.04.0. Richard W.M. Jones 2016-11-06 20:59:27 +00:00
  • c2bec65c9c Rebuild for coq 8.5pl3. Remove obsolete scriptlets. Jerry James 2016-10-28 10:39:58 -06:00
  • 8af8c0018b Rebuild for flocq 2.5.2 and gappalib-coq 1.3.1. Jerry James 2016-09-29 19:37:45 -06:00
  • 5e6572ac93 Rebuild for why3 0.87.2. f24 Jerry James 2016-09-02 09:20:42 -06:00
  • 11ea9a2036 Rebuild for apron 0.9.11 and gappalib-coq 1.3.0. Jerry James 2016-07-22 09:43:14 -06:00
  • 6f1ec75cbd Rebuild for coq 8.5pl2. Jerry James 2016-07-13 17:26:19 -06:00
  • 7e3866afcc Rebuild for why3 0.87.1 and Frama-C Aluminium. Jerry James 2016-06-01 19:54:34 -06:00
  • 0d9d208aa7 Rebuild for coq 8.5pl1. Jerry James 2016-04-22 09:46:02 -06:00
  • 6700fb2b95 Rebuild for ocaml-ocamlgraph 1.8.7. Jerry James 2016-04-16 22:11:50 -06:00
  • 585077e275 Rebuild for why3 0.87.0. Jerry James 2016-03-18 14:54:43 -06:00
  • c8058b5d9f Adapt to recent versions of apron. Jerry James 2016-02-12 15:46:48 -07:00
  • 0ccec25e66 Rebuild for coq 8.5, flocq 2.5.1, gappalib-coq 1.2.1, why3 0.86.3, and Frama-C Magnesium. Jerry James 2016-02-12 09:03:09 -07:00
  • ad116a2ac0 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild Fedora Release Engineering 2016-02-05 03:01:15 +00:00
  • 469e45c6aa Rebuild for flocq 2.5.0, gappalib-coq 1.2.0, and why3 0.86.2. f23 Jerry James 2015-10-14 21:20:46 -06:00
  • b98809b6b9 OCaml 4.02.3 rebuild. Richard W.M. Jones 2015-07-30 13:30:11 +01:00
  • 03ccd7aa9e Rebuild for why3 0.86.1. f22 Jerry James 2015-06-22 17:18:39 -06:00
  • 6d652c56f4 Rebuild for why3 0.86.1. Jerry James 2015-06-22 14:21:26 -06:00
  • c7d6158f02 Rebuild for ocaml-4.02.2. Richard W.M. Jones 2015-06-19 13:16:31 +01:00
  • 060306ffb3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild Dennis Gilmore 2015-06-19 02:24:19 +00:00
  • bfea7223dc Rebuild for why3 0.86. Jerry James 2015-05-17 17:03:59 -06:00
  • f945eb8f64 Rebuild for why3 0.86. Jerry James 2015-05-16 17:31:14 -06:00
  • 5a52c07672 Rebuild for coq 8.4pl6. Jerry James 2015-04-13 15:39:58 -06:00
  • d5f50e91bf Rebuild for coq 8.4pl6. Jerry James 2015-04-13 09:59:58 -06:00
  • 932f9267c1 Adjust requires filter. Jerry James 2015-04-01 12:18:42 -06:00
  • e031c5b41e New upstream release. Drop upstreamed -flocq24 and -frama-c-sodium patches. Drop all gwhy-related sources, as gwhy has been retired. Merge (X)Emacs files into the main package due to change in policy. Jerry James 2015-03-31 15:58:10 -06:00
  • 6ba3bbdf60 Add -ocamlgraph186 patch to adapt to ocamlgraph 1.8.6. Jerry James 2015-03-20 10:46:25 -06:00
  • f6eab8a269 Rebuild for Frama-C Sodium. Jerry James 2015-03-19 12:01:44 -06:00
  • 9dc6ba6d39 ocaml-4.02.1 rebuild. Richard W.M. Jones 2015-02-19 08:35:20 +00:00
  • aac0cc5d5c Fix gwhy-2.33.patch (bz 1164470). f21 Jerry James 2014-11-15 15:31:25 -07:00
  • 405e2e843b Fix gwhy-2.33.patch (bz 1164470). Jerry James 2014-11-15 14:19:02 -07:00
  • 912790a954 Bump and rebuild for broken dependencies. Richard W.M. Jones 2014-11-13 13:34:46 +00:00
  • 8329d966f9 Bump and rebuild for broken dependencies. Richard W.M. Jones 2014-11-13 13:34:46 +00:00
  • e831eedffd Rebuild for coq 8.4pl5. Jerry James 2014-11-07 09:06:25 -07:00
  • 7aa2f40ac0 Rebuild for coq 8.4pl5. Jerry James 2014-10-30 19:47:58 -06:00
  • 47b0b9b082 Fix fat-fingered changelog entry. Jerry James 2014-09-18 15:30:16 -06:00
  • f4fe84ba98 Rebuild for why3 0.85. Jerry James 2014-09-18 15:29:20 -06:00
  • 19dba4ac31 Rebuild for why3 0.85. Jerry James 2014-09-18 13:13:44 -06:00
  • dcfb5e2369 Rebuild for flocq 2.4.0 and why3 0.84. Fix license handling. BR emacs instead of emacs-nox. Jerry James 2014-09-08 14:11:02 -06:00
  • bee9f47474 Rebuild for fixed frama-c. Fix license handling. Jerry James 2014-09-08 13:31:21 -06:00
  • 12489c73c5 Rebuild for the final ocaml 4.02.0 release. Jerry James 2014-09-02 20:19:24 -06:00
  • 2e20d721c7 ocaml-4.02.0+rc1 rebuild. Jerry James 2014-08-25 17:18:14 -06:00
  • d9e6e7f8c3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild Peter Robinson 2014-08-18 08:34:56 +00:00
  • 00fe48cd16 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild Peter Robinson 2014-08-18 08:34:44 +00:00
  • 4e4054223f OCaml 4.02.0 beta rebuild. BR emacs instead of emacs-nox, which no longer exists. Jerry James 2014-08-04 22:04:47 -06:00
  • 75827bcfe0 Omit "-z now" when building with relro (bz 1105265). Resolve a conflict between Frama-C and why modules both named "Project". f20 Jerry James 2014-06-27 10:08:11 -06:00
  • 8ce80ce993 Omit "-z now" when building with relro (bz 1105265). Resolve a conflict between Frama-C and why modules both named "Project". Jerry James 2014-06-26 15:44:21 -06:00
  • 14eff311e8 Rebuild for coq 8.4pl4. Jerry James 2014-06-16 16:10:52 -06:00
  • 7f0ff8ba20 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild Dennis Gilmore 2014-06-07 23:30:38 -05:00
  • ef3b4659b8 Rebuild for coq 8.4pl4. Jerry James 2014-05-13 16:34:18 -06:00
  • a5e0dc99c4 Fix the License tag Richard Hughes 2014-05-02 12:41:05 +01:00
  • 7b6cda891b Rebuild for ocamlgraph 1.8.5 and flocq 2.3.0. Add -flocq23 patch to adapt to flocq 2.3.0. Jerry James 2014-04-28 12:23:55 -06:00
  • eda916af25 Rebuild for ocamlgraph 1.8.5 and flocq 2.3.0. Drop has_coq macro, since coq is now universally available. Add -flocq23 patch to adapt to flocq 2.3.0. Jerry James 2014-04-21 16:35:40 -06:00
  • f8475527b4 Remove ocaml_arches macro (RHBZ#1087794). Richard W.M. Jones 2014-04-15 12:57:30 +01:00
  • cc2ede5275 Remove dropped patches. Add icons. Fix the desktop icon entries. Jerry James 2014-03-24 18:47:16 -06:00
  • 5665306fcc New upstream release. Drop upstreamed -hashtbl, -flocq, and -or patches. Add ocaml-findlib BR. Jerry James 2014-03-18 13:21:31 -06:00
  • 03ba744ac5 Rebuild for ocamlgraph 1.8.4. Update desktop files. Add AppData files for gwhy and jessie. Jerry James 2014-02-26 10:47:08 -07:00
  • b6131f67e6 Rebuild for OCaml 4.01.0. Enable debuginfo. Add -or patch to fix warnings, since warnings are errors. Jerry James 2013-09-17 22:09:23 -06:00
  • 296ffe2562 Add patch to adapt to flocq 2.2.0. Jerry James 2013-08-20 12:01:20 -06:00
  • abb71eaed6 Install docs to %{_pkgdocdir} where available. Ville Skyttä 2013-07-27 19:23:56 +03:00