Remove unnecessary constraints

Remove unnecessary constraints.

Debdiff

These changes affect the binary packages:

[The following lists of changes regard files as different if they have different names, permissions or owners.]

Files in second set of .debs but not in first

-rw-r--r--  root/root   /usr/lib/debug/.build-id/08/2ac2eae75600554bc0c356d944c2934cbf7e48.debug
-rw-r--r--  root/root   /usr/lib/debug/.build-id/34/2b9af399c87c4a1681578b0a7f9dfcba25bca3.debug

Files in first set of .debs but not in second

-rw-r--r--  root/root   /usr/lib/debug/.build-id/c9/f9e77f6bed440ae6de303c8249da7af3a74150.debug
-rw-r--r--  root/root   /usr/lib/debug/.build-id/fb/47b8b524378fa0212872a9435cc606e614afd6.debug

No differences were encountered between the control files of package **frama-c-base**

Control files of package frama-c-base-dbgsym: lines which differ (wdiff format)

• Build-Ids: 07630db7d8fa6349188e677d3347d2c528795794 082ac2eae75600554bc0c356d944c2934cbf7e48 0ed95055a818b34fc8091fd5d90614e751b5e977 10520bb9f1c096bc776ae35763f8c00e830db138 11e6f6e88c2703f46ea3baacc946e754dc84af15 1fbd4fde5dbc9d544df4b9e91c2de2a2900c3816 246f65b1e98db429c7dd338cca44b62c96b31f57 2519db0cd26a080e558880a3dbce366abcf6312f 26a148b2133486da2cde4b25f7351cbedc0807ed 2c9142abe266599f9d63129849f12f5745c6c376 342b9af399c87c4a1681578b0a7f9dfcba25bca3 35fd1f52a60ab06d4a489254482827ecb2b1d011 48bd86173227d947bb26c8fa8a632a8523ef55b6 4a15199059de31d358e4a297b12f2a42347b1dea 4a8e67c83f022c7dceb52a96679507f8453744e4 4ad1ae11a714d4067110e3f51560408a68fa2026 4e3d7a839fe4c3390651435f0043b907744864ab 564beecf26600ce64a3f902f6ff3e2b606756f4d 5d04dbe408fd5174b33099a3084df9dfd5529a8d 62a03eaf0ab1ee3a324595d39a4ee0cbc23e9e65 680c6a2223bec391071f346592ce0ff3d148eb04 70c641584ff7c8d34be554716acee113192b432e 76e41c6fb22ba825d74b1b4a377b96c600d8414f 797da17a7f27c83a5274c98085577ae74976ba61 7edda458cfc24abd21295be41271f55614e944aa 8b3e43b9084ed728f4954f9765350d13fb0a0c45 980a3ee028c83d8ebef60461cfc851e4696f0aef 9af4ddb70e92dab19eb65e2afa960440b59a7e23 a5089707580b1c569130dc6dd89ef677657ddc36 b231d078e1d93c192430921dc329393a02641fa4 b377ff86f7182d6af491b9b34ade2e1a7cab5ab9 b3df9e768ddd6192493381be9eee7a76b939b284 b49c320e5aefcf0bd43f4efc6bdf0e3143de75b1 b857eb9fe41b375b3db0ce3f826f2969eb35b791 c4bb1c3c6d6acd90f734cdfcf0611621b26acd35 c9f9e77f6bed440ae6de303c8249da7af3a74150 cdceee9ad625b110a67855c1bb28e4bab706524c d30c0dab78c549de92d3129350ce9bc60922ae16 d6a2ce164661806cdf5475c78847e71c9549935d da079fa53c628f798315a4242cbcb4f147d520ad e00fa1da20c10eea7e4c08e8243df281c51b9001 e26a3dc0cb841530e3e8124fa688ee91525b134c e96d3bffbfc467ce9f9cbc33647318ecb136bc34 f2a7ad33cea006d35e59f3a989386ccfefa106b1 f629a2a87384ceeaf5ba8ae80bd1369246d4a1d4 f6e1c897d5e03b2ddfd69a13b894de70d131c491 f91d4d0c047140c137fc72f4e43c40ed3b35075c fb47b8b524378fa0212872a9435cc606e614afd6

You can also view the diffoscope diff (unfiltered).

This merge proposal was created by the Janitor bot, and it will automatically rebase or close this proposal as appropriate when the target branch changes. Any comments you leave here will be read by the Janitor's maintainers.

Build and test logs for this branch can be found at https://janitor.debian.net/scrub-obsolete/pkg/frama-c/dc2367b4-51ae-429c-a713-3b9547397b9b.